1542
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_width 0.0 )
10 ( >= back_ground_hight 0.0 )
11 ( >= title_holder_x 0.0 )
12 ( >= title_holder_y 0.0 )
13 ( >= title_holder_width 0.0 )
14 ( >= title_holder_hight 0.0 )
15 ( >= main_body_y 0.0 )
16 ( >= main_body_width 0.0 )
17 ( >= main_body_hight 0.0 )
18 ( >= bottom_holder_y 0.0 )
19 ( >= bottom_holder_width 0.0 )
20 ( >= bottom_holder_hight 0.0 )
21 ( <= ( + title_holder_y ( * -1.0 back_ground_y ) title_holder_hight ( * -1.0 back_ground_hight ) ) 0.0 )
22 ( >= main_body_x 0.0 )
23 ( <= ( + main_body_width main_body_x ( * -1.0 back_ground_width ) ) 0.0 )
24 ( >= ( + main_body_y ( * -1.0 back_ground_y ) ) 0.0 )
25 ( <= ( + main_body_y main_body_hight ( * -1.0 back_ground_y ) ( * -1.0 back_ground_hight ) ) 0.0 )
26 ( >= read_more_x 0.0 )
27 ( >= ( + back_ground_width ( * -1.0 read_more_x ) ) 100.0 )
28 ( >= read_more_y 0.0 )
29 ( >= ( + back_ground_y ( * -1.0 read_more_y ) back_ground_hight ) 50.0 )
30 ( >= bottom_holder_x 0.0 )
31 ( <= ( + bottom_holder_width bottom_holder_x ( * -1.0 back_ground_width ) ) 0.0 )
32 ( >= ( + bottom_holder_y ( * -1.0 back_ground_y ) ) 0.0 )
33 ( <= ( + bottom_holder_y bottom_holder_hight ( * -1.0 back_ground_y ) ( * -1.0 back_ground_hight ) ) 0.0 )
34 ( >= ( + bottom_holder_y ( * -1.0 read_more_y ) ) 50.0 )
35 ( <= ( + main_body_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) 10.0 )
36 ( >= ( + main_body_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) 10.0 )
37 ( <= ( + main_body_y main_body_hight ( * -1.0 read_more_y ) ) -10.0 )
38 ( >= ( + main_body_y main_body_hight ( * -1.0 read_more_y ) ) -10.0 )
39 ( <= ( + bottom_holder_y ( * -1.0 read_more_y ) ) 60.0 )
40 ( >= ( + bottom_holder_y ( * -1.0 read_more_y ) ) 60.0 )
41 ( <= back_ground_x 0.0 )
42 ( >= back_ground_x 0.0 )
43 ( <= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
44 ( >= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
45 ( <= back_ground_y 0.0 )
46 ( >= back_ground_y 0.0 )
47 ( >= wide_title_x 0.0 )
48 ( >= wide_title_y 0.0 )
49 ( >= wide_title_width 0.0 )
50 ( >= thin_title_x 0.0 )
51 ( >= thin_title_y 0.0 )
52 ( >= thin_title_width 0.0 )
53 wide_title_feasible
54 ( <= ( + wide_title_x ( * -1.0 title_holder_x ) ) 0.0 )
55 ( >= ( + wide_title_x ( * -1.0 title_holder_x ) ) 0.0 )
56 ( <= ( + wide_title_x wide_title_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
57 ( >= ( + wide_title_x wide_title_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
58 ( <= ( + wide_title_y ( * -1.0 title_holder_y ) ) 0.0 )
59 ( >= ( + wide_title_y ( * -1.0 title_holder_y ) ) 0.0 )
60 ( <= ( + wide_title_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) -80.0 )
61 ( >= ( + wide_title_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) -80.0 )
62 thin_title_feasible
63 ( <= ( + thin_title_x ( * -1.0 title_holder_x ) ) 0.0 )
64 ( >= ( + thin_title_x ( * -1.0 title_holder_x ) ) 0.0 )
65 ( <= ( + thin_title_x thin_title_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
66 ( >= ( + thin_title_x thin_title_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
67 ( <= ( + thin_title_y ( * -1.0 title_holder_y ) ) 0.0 )
68 ( >= ( + thin_title_y ( * -1.0 title_holder_y ) ) 0.0 )
69 ( <= ( + thin_title_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) -70.0 )
70 ( >= ( + thin_title_y ( * -1.0 title_holder_y ) ( * -1.0 title_holder_hight ) ) -70.0 )
71 ( <= ( + back_ground_x ( * -1.0 title_holder_x ) ) 0.0 )
72 ( >= ( + back_ground_x ( * -1.0 title_holder_x ) ) 0.0 )
73 ( <= ( + back_ground_x back_ground_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
74 ( >= ( + back_ground_x back_ground_width ( * -1.0 title_holder_x ) ( * -1.0 title_holder_width ) ) 0.0 )
75 ( <= ( + title_holder_y ( * -1.0 back_ground_y ) ) 0.0 )
76 ( >= ( + title_holder_y ( * -1.0 back_ground_y ) ) 0.0 )
77 ( >= icons_x 0.0 )
78 ( >= icons_y 0.0 )
79 ( >= icons_width 0.0 )
80 ( >= icons_hight 0.0 )
81 ( >= home_pages_x 0.0 )
82 ( >= home_pages_y 0.0 )
83 ( >= home_pages_width 0.0 )
84 ( >= home_pages_hight 0.0 )
85 ( >= downloads_x 0.0 )
86 ( >= downloads_y 0.0 )
87 ( >= downloads_width 0.0 )
88 ( >= downloads_hight 0.0 )
89 ( <= ( + icons_y ( * -1.0 wide_title_y ) ) 0.0 )
90 ( >= ( + icons_y ( * -1.0 wide_title_y ) ) 0.0 )
91 ( <= ( + icons_hight icons_y ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
92 ( >= ( + icons_hight icons_y ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
93 ( <= ( + home_pages_y ( * -1.0 wide_title_y ) ) 0.0 )
94 ( >= ( + home_pages_y ( * -1.0 wide_title_y ) ) 0.0 )
95 ( <= ( + home_pages_y home_pages_hight ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
96 ( >= ( + home_pages_y home_pages_hight ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
97 ( <= ( + downloads_y ( * -1.0 wide_title_y ) ) 0.0 )
98 ( >= ( + downloads_y ( * -1.0 wide_title_y ) ) 0.0 )
99 ( <= ( + downloads_y downloads_hight ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
100 ( >= ( + downloads_y downloads_hight ( * -1.0 wide_title_y ) ( * -1.0 wide_title_hight ) ) 0.0 )
101 ( <= wide_title_hight 80.0 )
102 ( >= wide_title_hight 80.0 )
103 ( >= ( + icons_x ( * -1.0 wide_title_x ) ) 0.0 )
104 ( <= ( + icons_x icons_width ( * -1.0 wide_title_x ) ( * -1.0 wide_title_width ) ) 0.0 )
105 ( >= ( + home_pages_x ( * -1.0 wide_title_x ) ) 0.0 )
106 ( <= ( + home_pages_width home_pages_x ( * -1.0 wide_title_x ) ( * -1.0 wide_title_width ) ) 0.0 )
107 ( <= ( + wide_title_x ( * -1.0 downloads_x ) ) 0.0 )
108 ( >= ( + wide_title_x wide_title_width ( * -1.0 downloads_width ) ( * -1.0 downloads_x ) ) 0.0 )
109 ( <= ( + icons_x icons_width ( * -1.0 home_pages_x ) ) 0.0 )
110 ( <= ( + home_pages_width home_pages_x ( * -1.0 downloads_x ) ) 0.0 )
111 ( >= icons_kid_0_x 0.0 )
112 ( >= icons_kid_0_y 0.0 )
113 ( >= icons_kid_0_width 0.0 )
114 ( >= icons_kid_0_hight 0.0 )
115 ( >= icons_kid_1_x 0.0 )
116 ( >= icons_kid_1_y 0.0 )
117 ( >= icons_kid_1_width 0.0 )
118 ( >= icons_kid_1_hight 0.0 )
119 ( <= ( + ( * 2.0 icons_hight ) ( * -1.0 icons_width ) ) 0.0 )
120 ( >= ( + ( * 2.0 icons_hight ) ( * -1.0 icons_width ) ) 0.0 )
121 icons_feasible
122 ( <= ( + icons_x ( * -1.0 icons_kid_0_x ) ) -5.0 )
123 ( >= ( + icons_x ( * -1.0 icons_kid_0_x ) ) -5.0 )
124 ( <= ( + icons_x icons_width ( * -1.0 icons_kid_1_width ) ( * -1.0 icons_kid_1_x ) ) 5.0 )
125 ( >= ( + icons_x icons_width ( * -1.0 icons_kid_1_width ) ( * -1.0 icons_kid_1_x ) ) 5.0 )
126 ( <= ( + icons_y ( * -1.0 icons_kid_0_y ) ) -5.0 )
127 ( >= ( + icons_y ( * -1.0 icons_kid_0_y ) ) -5.0 )
128 ( <= ( + icons_y ( * -1.0 icons_kid_1_y ) ) -5.0 )
129 ( >= ( + icons_y ( * -1.0 icons_kid_1_y ) ) -5.0 )
130 ( <= ( + icons_hight icons_y ( * -1.0 icons_kid_0_y ) ( * -1.0 icons_kid_0_hight ) ) 5.0 )
131 ( >= ( + icons_hight icons_y ( * -1.0 icons_kid_0_y ) ( * -1.0 icons_kid_0_hight ) ) 5.0 )
132 ( <= ( + icons_hight icons_y ( * -1.0 icons_kid_1_y ) ( * -1.0 icons_kid_1_hight ) ) 5.0 )
133 ( >= ( + icons_hight icons_y ( * -1.0 icons_kid_1_y ) ( * -1.0 icons_kid_1_hight ) ) 5.0 )
134 ( >= ( + icons_x icons_width ( * -1.0 icons_kid_0_width ) ( * -1.0 icons_kid_0_x ) ) 5.0 )
135 ( <= ( + icons_x ( * -1.0 icons_kid_1_x ) ) -5.0 )
136 ( <= ( + icons_kid_0_width ( * -1.0 icons_kid_1_x ) icons_kid_0_x ) 0.0 )
137 ( <= ( + ( * 2.0 icons_width ) ( * -5.0 icons_kid_0_width ) ) 20.0 )
138 ( >= ( + ( * 2.0 icons_width ) ( * -5.0 icons_kid_0_width ) ) 20.0 )
139 ( <= ( + icons_width ( * -2.0 icons_kid_1_width ) ) 10.0 )
140 ( >= ( + icons_width ( * -2.0 icons_kid_1_width ) ) 10.0 )
141 ( <= ( + icons_x ( * -1.0 wide_title_x ) ) 50.0 )
142 ( >= ( + icons_x ( * -1.0 wide_title_x ) ) 50.0 )
143 ( >= downloads_kid_0_x 0.0 )
144 ( >= downloads_kid_0_y 0.0 )
145 ( >= downloads_kid_0_width 0.0 )
146 ( >= downloads_kid_0_hight 0.0 )
147 ( >= downloads_kid_1_x 0.0 )
148 ( >= downloads_kid_1_y 0.0 )
149 ( >= downloads_kid_1_width 0.0 )
150 ( >= downloads_kid_1_hight 0.0 )
151 downloads_feasible
152 ( <= ( + downloads_x ( * -1.0 downloads_kid_0_x ) ) -5.0 )
153 ( >= ( + downloads_x ( * -1.0 downloads_kid_0_x ) ) -5.0 )
154 ( <= ( + downloads_width downloads_x ( * -1.0 downloads_kid_1_x ) ( * -1.0 downloads_kid_1_width ) ) 5.0 )
155 ( >= ( + downloads_width downloads_x ( * -1.0 downloads_kid_1_x ) ( * -1.0 downloads_kid_1_width ) ) 5.0 )
156 ( <= ( + downloads_y ( * -1.0 downloads_kid_0_y ) ) -5.0 )
157 ( >= ( + downloads_y ( * -1.0 downloads_kid_0_y ) ) -5.0 )
158 ( <= ( + downloads_kid_1_y ( * -1.0 downloads_y ) ) 5.0 )
159 ( >= ( + downloads_kid_1_y ( * -1.0 downloads_y ) ) 5.0 )
160 ( <= ( + downloads_y downloads_hight ( * -1.0 downloads_kid_0_hight ) ( * -1.0 downloads_kid_0_y ) ) 5.0 )
161 ( >= ( + downloads_y downloads_hight ( * -1.0 downloads_kid_0_hight ) ( * -1.0 downloads_kid_0_y ) ) 5.0 )
162 ( <= ( + downloads_kid_1_y downloads_kid_1_hight ( * -1.0 downloads_y ) ( * -1.0 downloads_hight ) ) -5.0 )
163 ( >= ( + downloads_kid_1_y downloads_kid_1_hight ( * -1.0 downloads_y ) ( * -1.0 downloads_hight ) ) -5.0 )
164 ( <= ( + downloads_kid_0_x ( * -1.0 downloads_kid_1_x ) downloads_kid_0_width ) -10.0 )
165 ( >= ( + downloads_kid_0_x ( * -1.0 downloads_kid_1_x ) downloads_kid_0_width ) -10.0 )
166 ( <= downloads_kid_0_width 120.0 )
167 ( >= downloads_kid_0_width 120.0 )
168 ( <= downloads_kid_1_width 100.0 )
169 ( >= downloads_kid_1_width 100.0 )
170 ( >= ( + downloads_width downloads_x ( * -1.0 downloads_kid_0_x ) ( * -1.0 downloads_kid_0_width ) ) 5.0 )
171 ( <= ( + downloads_x ( * -1.0 downloads_kid_1_x ) ) -5.0 )
172 ( <= ( + downloads_kid_0_x ( * -1.0 downloads_kid_1_x ) downloads_kid_0_width ) 0.0 )
173 ( <= ( + wide_title_x wide_title_width ( * -1.0 downloads_width ) ( * -1.0 downloads_x ) ) 50.0 )
174 ( >= ( + wide_title_x wide_title_width ( * -1.0 downloads_width ) ( * -1.0 downloads_x ) ) 50.0 )
175 ( >= home_pages_kid_0_x 0.0 )
176 ( >= home_pages_kid_0_y 0.0 )
177 ( >= home_pages_kid_0_width 0.0 )
178 ( >= home_pages_kid_0_hight 0.0 )
179 ( >= home_pages_kid_1_x 0.0 )
180 ( >= home_pages_kid_1_y 0.0 )
181 ( >= home_pages_kid_1_width 0.0 )
182 ( >= home_pages_kid_1_hight 0.0 )
183 ( >= home_pages_kid_2_x 0.0 )
184 ( >= home_pages_kid_2_y 0.0 )
185 ( >= home_pages_kid_2_width 0.0 )
186 ( >= home_pages_kid_2_hight 0.0 )
187 ( >= home_pages_kid_3_x 0.0 )
188 ( >= home_pages_kid_3_y 0.0 )
189 ( >= home_pages_kid_3_width 0.0 )
190 ( >= home_pages_kid_3_hight 0.0 )
191 ( >= home_pages_kid_4_x 0.0 )
192 ( >= home_pages_kid_4_y 0.0 )
193 ( >= home_pages_kid_4_width 0.0 )
194 ( >= home_pages_kid_4_hight 0.0 )
195 ( >= home_pages_kid_5_x 0.0 )
196 ( >= home_pages_kid_5_y 0.0 )
197 ( >= home_pages_kid_5_width 0.0 )
198 ( >= home_pages_kid_5_hight 0.0 )
199 ( >= home_pages_kid_6_x 0.0 )
200 ( >= home_pages_kid_6_y 0.0 )
201 ( >= home_pages_kid_6_width 0.0 )
202 ( >= home_pages_kid_6_hight 0.0 )
203 ( <= ( + home_pages_width ( * 2.0 home_pages_x ) ( * -2.0 wide_title_x ) ( * -1.0 wide_title_width ) ) 0.0 )
204 ( >= ( + home_pages_width ( * 2.0 home_pages_x ) ( * -2.0 wide_title_x ) ( * -1.0 wide_title_width ) ) 0.0 )
205 home_pages_feasible
206 ( <= ( + home_pages_kid_0_x ( * -1.0 home_pages_x ) ) 5.0 )
207 ( >= ( + home_pages_kid_0_x ( * -1.0 home_pages_x ) ) 5.0 )
208 ( <= ( + home_pages_kid_6_width home_pages_kid_6_x ( * -1.0 home_pages_width ) ( * -1.0 home_pages_x ) ) -5.0 )
209 ( >= ( + home_pages_kid_6_width home_pages_kid_6_x ( * -1.0 home_pages_width ) ( * -1.0 home_pages_x ) ) -5.0 )
210 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_0_y ) ) -5.0 )
211 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_0_y ) ) -5.0 )
212 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_1_y ) ) -5.0 )
213 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_1_y ) ) -5.0 )
214 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_2_y ) ) -5.0 )
215 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_2_y ) ) -5.0 )
216 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_3_y ) ) -5.0 )
217 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_3_y ) ) -5.0 )
218 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_4_y ) ) -5.0 )
219 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_4_y ) ) -5.0 )
220 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_5_y ) ) -5.0 )
221 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_5_y ) ) -5.0 )
222 ( <= ( + home_pages_y ( * -1.0 home_pages_kid_6_y ) ) -5.0 )
223 ( >= ( + home_pages_y ( * -1.0 home_pages_kid_6_y ) ) -5.0 )
224 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_0_hight ) ( * -1.0 home_pages_kid_0_y ) ) 5.0 )
225 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_0_hight ) ( * -1.0 home_pages_kid_0_y ) ) 5.0 )
226 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_1_y ) ( * -1.0 home_pages_kid_1_hight ) ) 5.0 )
227 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_1_y ) ( * -1.0 home_pages_kid_1_hight ) ) 5.0 )
228 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_2_y ) ( * -1.0 home_pages_kid_2_hight ) ) 5.0 )
229 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_2_y ) ( * -1.0 home_pages_kid_2_hight ) ) 5.0 )
230 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_3_y ) ( * -1.0 home_pages_kid_3_hight ) ) 5.0 )
231 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_3_y ) ( * -1.0 home_pages_kid_3_hight ) ) 5.0 )
232 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_4_y ) ( * -1.0 home_pages_kid_4_hight ) ) 5.0 )
233 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_4_y ) ( * -1.0 home_pages_kid_4_hight ) ) 5.0 )
234 ( <= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_5_hight ) ( * -1.0 home_pages_kid_5_y ) ) 5.0 )
235 ( >= ( + home_pages_y home_pages_hight ( * -1.0 home_pages_kid_5_hight ) ( * -1.0 home_pages_kid_5_y ) ) 5.0 )
236 ( <= ( + home_pages_kid_6_hight ( * -1.0 home_pages_y ) ( * -1.0 home_pages_hight ) home_pages_kid_6_y ) -5.0 )
237 ( >= ( + home_pages_kid_6_hight ( * -1.0 home_pages_y ) ( * -1.0 home_pages_hight ) home_pages_kid_6_y ) -5.0 )
238 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_1_x ) home_pages_kid_0_x ) -20.0 )
239 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_1_x ) home_pages_kid_0_x ) -20.0 )
240 ( <= ( + home_pages_kid_1_width ( * -1.0 home_pages_kid_2_x ) home_pages_kid_1_x ) -20.0 )
241 ( >= ( + home_pages_kid_1_width ( * -1.0 home_pages_kid_2_x ) home_pages_kid_1_x ) -20.0 )
242 ( <= ( + home_pages_kid_2_width ( * -1.0 home_pages_kid_3_x ) home_pages_kid_2_x ) -20.0 )
243 ( >= ( + home_pages_kid_2_width ( * -1.0 home_pages_kid_3_x ) home_pages_kid_2_x ) -20.0 )
244 ( <= ( + home_pages_kid_3_width ( * -1.0 home_pages_kid_4_x ) home_pages_kid_3_x ) -20.0 )
245 ( >= ( + home_pages_kid_3_width ( * -1.0 home_pages_kid_4_x ) home_pages_kid_3_x ) -20.0 )
246 ( <= ( + home_pages_kid_4_width ( * -1.0 home_pages_kid_5_x ) home_pages_kid_4_x ) -20.0 )
247 ( >= ( + home_pages_kid_4_width ( * -1.0 home_pages_kid_5_x ) home_pages_kid_4_x ) -20.0 )
248 ( <= ( + home_pages_kid_5_width home_pages_kid_5_x ( * -1.0 home_pages_kid_6_x ) ) -20.0 )
249 ( >= ( + home_pages_kid_5_width home_pages_kid_5_x ( * -1.0 home_pages_kid_6_x ) ) -20.0 )
250 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_1_width ) ) 0.0 )
251 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_1_width ) ) 0.0 )
252 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_2_width ) ) 0.0 )
253 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_2_width ) ) 0.0 )
254 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_3_width ) ) 0.0 )
255 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_3_width ) ) 0.0 )
256 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_4_width ) ) 0.0 )
257 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_4_width ) ) 0.0 )
258 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_5_width ) ) 0.0 )
259 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_5_width ) ) 0.0 )
260 ( <= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_6_width ) ) 0.0 )
261 ( >= ( + home_pages_kid_0_width ( * -1.0 home_pages_kid_6_width ) ) 0.0 )
262 ( <= home_pages_kid_0_width 100.0 )
263 ( >= home_pages_kid_0_width 100.0 )
264 ( >= less_x 0.0 )
265 ( >= less_y 0.0 )
266 ( >= less_hight 0.0 )
267 ( <= thin_title_hight 70.0 )
268 ( >= thin_title_hight 70.0 )
269 ( <= less_width 70.0 )
270 ( >= less_width 70.0 )
271 ( <= ( + less_x ( * -1.0 thin_title_x ) ) 5.0 )
272 ( >= ( + less_x ( * -1.0 thin_title_x ) ) 5.0 )
273 ( <= ( + ( * 2.0 icons_x ) ( * -2.0 thin_title_x ) icons_width ( * -1.0 thin_title_width ) ) 0.0 )
274 ( >= ( + ( * 2.0 icons_x ) ( * -2.0 thin_title_x ) icons_width ( * -1.0 thin_title_width ) ) 0.0 )
275 ( <= ( + thin_title_y ( * -1.0 less_y ) ) -5.0 )
276 ( >= ( + thin_title_y ( * -1.0 less_y ) ) -5.0 )
277 ( <= ( + thin_title_y ( * -1.0 less_y ) ( * -1.0 less_hight ) ) -65.0 )
278 ( >= ( + thin_title_y ( * -1.0 less_y ) ( * -1.0 less_hight ) ) -65.0 )
279 ( <= ( + thin_title_y ( * -1.0 icons_y ) ) -5.0 )
280 ( >= ( + thin_title_y ( * -1.0 icons_y ) ) -5.0 )
281 ( <= ( + thin_title_y ( * -1.0 icons_hight ) ( * -1.0 icons_y ) ) -65.0 )
282 ( >= ( + thin_title_y ( * -1.0 icons_hight ) ( * -1.0 icons_y ) ) -65.0 )
283 ( <= ( + less_x ( * -1.0 thin_title_x ) ( * -1.0 thin_title_width ) ) -75.0 )
284 ( >= ( + icons_x ( * -1.0 thin_title_x ) ) 5.0 )
285 ( <= ( + icons_x ( * -1.0 thin_title_x ) icons_width ( * -1.0 thin_title_width ) ) -5.0 )
286 ( <= ( + less_x ( * -1.0 icons_x ) ) -70.0 )
287 ( >= main_title_holder_x 0.0 )
288 ( >= main_title_holder_y 0.0 )
289 ( >= main_title_holder_width 0.0 )
290 ( >= main_title_holder_hight 0.0 )
291 ( >= main_news_x 0.0 )
292 ( >= main_news_y 0.0 )
293 ( >= main_news_width 0.0 )
294 ( >= main_pics_holder_x 0.0 )
295 ( >= main_pics_holder_y 0.0 )
296 ( >= main_pics_holder_width 0.0 )
297 ( >= main_pics_holder_hight 0.0 )
298 ( <= ( + main_news_y ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 10.0 )
299 ( >= ( + main_news_y ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 10.0 )
300 ( <= ( + main_pics_holder_y ( * -1.0 main_news_y ) ( * -1.0 main_news_hight ) ) 10.0 )
301 ( >= ( + main_pics_holder_y ( * -1.0 main_news_y ) ( * -1.0 main_news_hight ) ) 10.0 )
302 ( <= ( + main_body_x ( * -1.0 main_title_holder_x ) ) 0.0 )
303 ( >= ( + main_body_x ( * -1.0 main_title_holder_x ) ) 0.0 )
304 ( <= ( + main_body_x ( * -1.0 main_news_x ) ) 0.0 )
305 ( >= ( + main_body_x ( * -1.0 main_news_x ) ) 0.0 )
306 ( <= ( + main_body_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
307 ( >= ( + main_body_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
308 ( <= ( + main_body_width main_body_x ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
309 ( >= ( + main_body_width main_body_x ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
310 ( <= ( + main_body_width main_body_x ( * -1.0 main_news_x ) ( * -1.0 main_news_width ) ) 0.0 )
311 ( >= ( + main_body_width main_body_x ( * -1.0 main_news_x ) ( * -1.0 main_news_width ) ) 0.0 )
312 ( <= ( + main_body_width main_body_x ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
313 ( >= ( + main_body_width main_body_x ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
314 ( <= ( + main_title_holder_y ( * -1.0 main_body_y ) ) 0.0 )
315 ( >= ( + main_title_holder_y ( * -1.0 main_body_y ) ) 0.0 )
316 ( <= ( + main_pics_holder_y main_pics_holder_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
317 ( >= ( + main_pics_holder_y main_pics_holder_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
318 ( <= ( + main_title_holder_y main_title_holder_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
319 ( >= ( + main_news_y ( * -1.0 main_body_y ) ) 0.0 )
320 ( <= ( + main_news_y ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) -50.0 )
321 ( >= ( + main_pics_holder_y ( * -1.0 main_body_y ) ) 0.0 )
322 ( <= ( + main_body_width ( * 2.0 main_body_x ) ( * -1.0 back_ground_width ) ) 0.0 )
323 ( >= ( + main_body_width ( * 2.0 main_body_x ) ( * -1.0 back_ground_width ) ) 0.0 )
324 ( <= back_ground_width 1200.0 )
325 ( <= main_body_width 1200.0 )
326 ( >= main_body_width 1200.0 )
327 ( <= ( + main_body_width ( * -1.0 back_ground_width ) ) 0.0 )
328 ( >= ( + main_body_width ( * -1.0 back_ground_width ) ) 0.0 )
329 ( >= main_title_1_x 0.0 )
330 ( >= main_title_1_y 0.0 )
331 ( >= main_title_1_width 0.0 )
332 ( >= main_title_1_hight 0.0 )
333 ( >= main_title_2_x 0.0 )
334 ( >= main_title_2_y 0.0 )
335 ( >= main_title_2_width 0.0 )
336 ( >= main_title_2_hight 0.0 )
337 main_title_1_feasible
338 ( <= ( + main_title_1_x ( * -1.0 main_title_holder_x ) ) 0.0 )
339 ( >= ( + main_title_1_x ( * -1.0 main_title_holder_x ) ) 0.0 )
340 ( <= ( + main_title_1_x main_title_1_width ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
341 ( >= ( + main_title_1_x main_title_1_width ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
342 ( <= ( + main_title_1_y ( * -1.0 main_title_holder_y ) ) 0.0 )
343 ( >= ( + main_title_1_y ( * -1.0 main_title_holder_y ) ) 0.0 )
344 ( <= ( + main_title_1_y main_title_1_hight ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 0.0 )
345 ( >= ( + main_title_1_y main_title_1_hight ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 0.0 )
346 main_title_2_feasible
347 ( <= ( + main_title_2_x ( * -1.0 main_title_holder_x ) ) 0.0 )
348 ( >= ( + main_title_2_x ( * -1.0 main_title_holder_x ) ) 0.0 )
349 ( <= ( + main_title_2_x main_title_2_width ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
350 ( >= ( + main_title_2_x main_title_2_width ( * -1.0 main_title_holder_width ) ( * -1.0 main_title_holder_x ) ) 0.0 )
351 ( <= ( + main_title_2_y ( * -1.0 main_title_holder_y ) ) 0.0 )
352 ( >= ( + main_title_2_y ( * -1.0 main_title_holder_y ) ) 0.0 )
353 ( <= ( + main_title_2_hight main_title_2_y ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 0.0 )
354 ( >= ( + main_title_2_hight main_title_2_y ( * -1.0 main_title_holder_y ) ( * -1.0 main_title_holder_hight ) ) 0.0 )
355 ( >= meituan_is_a_retail_comp_x 0.0 )
356 ( >= meituan_is_a_retail_comp_y 0.0 )
357 ( >= meituan_is_a_retail_comp_width 0.0 )
358 ( >= meituan_is_a_retail_comp_hight 0.0 )
359 ( >= meituan_slogan_x 0.0 )
360 ( >= meituan_slogan_y 0.0 )
361 ( >= meituan_slogan_width 0.0 )
362 ( >= meituan_slogan_hight 0.0 )
363 ( >= meituan_detail_info_x 0.0 )
364 ( >= meituan_detail_info_y 0.0 )
365 ( >= meituan_detail_info_width 0.0 )
366 ( >= meituan_detail_info_hight 0.0 )
367 ( >= download_app_x 0.0 )
368 ( >= download_app_y 0.0 )
369 ( >= download_app_width 0.0 )
370 ( >= download_app_hight 0.0 )
371 ( <= ( + ( * 2.0 meituan_slogan_x ) meituan_slogan_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
372 ( >= ( + ( * 2.0 meituan_slogan_x ) meituan_slogan_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
373 ( <= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -1.0 meituan_detail_info_width ) ( * -2.0 meituan_detail_info_x ) ) 0.0 )
374 ( >= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -1.0 meituan_detail_info_width ) ( * -2.0 meituan_detail_info_x ) ) 0.0 )
375 ( <= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -2.0 download_app_x ) ( * -1.0 download_app_width ) ) 0.0 )
376 ( >= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -2.0 download_app_x ) ( * -1.0 download_app_width ) ) 0.0 )
377 ( <= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -2.0 main_title_1_x ) ( * -1.0 main_title_1_width ) ) 0.0 )
378 ( >= ( + ( * 2.0 meituan_is_a_retail_comp_x ) meituan_is_a_retail_comp_width ( * -2.0 main_title_1_x ) ( * -1.0 main_title_1_width ) ) 0.0 )
379 ( <= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 20.0 )
380 ( >= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 20.0 )
381 ( <= ( + meituan_slogan_hight meituan_slogan_y ( * -1.0 meituan_detail_info_y ) ) -20.0 )
382 ( >= ( + meituan_slogan_hight meituan_slogan_y ( * -1.0 meituan_detail_info_y ) ) -20.0 )
383 ( <= ( + download_app_y ( * -1.0 meituan_detail_info_y ) ( * -1.0 meituan_detail_info_hight ) ) 20.0 )
384 ( >= ( + download_app_y ( * -1.0 meituan_detail_info_y ) ( * -1.0 meituan_detail_info_hight ) ) 20.0 )
385 ( <= ( + meituan_is_a_retail_comp_y ( * -1.0 main_title_1_y ) ) 30.0 )
386 ( >= ( + meituan_is_a_retail_comp_y ( * -1.0 main_title_1_y ) ) 30.0 )
387 ( <= ( + download_app_y ( * -1.0 main_title_1_y ) ( * -1.0 main_title_1_hight ) download_app_hight ) -30.0 )
388 ( >= ( + download_app_y ( * -1.0 main_title_1_y ) ( * -1.0 main_title_1_hight ) download_app_hight ) -30.0 )
389 ( <= ( + meituan_slogan_hight ( * 2.0 meituan_slogan_y ) ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ( * -1.0 meituan_detail_info_y ) ) 0.0 )
390 ( >= ( + meituan_slogan_hight ( * 2.0 meituan_slogan_y ) ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ( * -1.0 meituan_detail_info_y ) ) 0.0 )
391 ( <= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ( * -1.0 download_app_y ) meituan_detail_info_y meituan_detail_info_hight ) 0.0 )
392 ( >= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ( * -1.0 download_app_y ) meituan_detail_info_y meituan_detail_info_hight ) 0.0 )
393 ( <= meituan_is_a_retail_comp_hight 60.0 )
394 ( >= meituan_is_a_retail_comp_hight 60.0 )
395 ( <= meituan_is_a_retail_comp_width 200.0 )
396 ( >= meituan_is_a_retail_comp_width 200.0 )
397 ( <= meituan_slogan_hight 50.0 )
398 ( >= meituan_slogan_hight 50.0 )
399 ( <= meituan_slogan_width 800.0 )
400 ( >= meituan_slogan_width 800.0 )
401 ( <= meituan_detail_info_hight 50.0 )
402 ( >= meituan_detail_info_hight 50.0 )
403 ( <= ( + main_title_1_x ( * -1.0 meituan_detail_info_x ) ) -30.0 )
404 ( >= ( + main_title_1_x ( * -1.0 meituan_detail_info_x ) ) -30.0 )
405 ( <= ( + main_title_1_x main_title_1_width ( * -1.0 meituan_detail_info_width ) ( * -1.0 meituan_detail_info_x ) ) 30.0 )
406 ( >= ( + main_title_1_x main_title_1_width ( * -1.0 meituan_detail_info_width ) ( * -1.0 meituan_detail_info_x ) ) 30.0 )
407 ( <= download_app_hight 50.0 )
408 ( >= download_app_hight 50.0 )
409 ( <= download_app_width 100.0 )
410 ( >= download_app_width 100.0 )
411 ( >= ( + meituan_is_a_retail_comp_x ( * -1.0 main_title_1_x ) ) 30.0 )
412 ( <= ( + meituan_is_a_retail_comp_x meituan_is_a_retail_comp_width ( * -1.0 main_title_1_x ) ( * -1.0 main_title_1_width ) ) -30.0 )
413 ( <= ( + meituan_is_a_retail_comp_hight meituan_is_a_retail_comp_y ( * -1.0 main_title_1_y ) ( * -1.0 main_title_1_hight ) ) -30.0 )
414 ( >= ( + meituan_slogan_x ( * -1.0 main_title_1_x ) ) 30.0 )
415 ( <= ( + meituan_slogan_x meituan_slogan_width ( * -1.0 main_title_1_x ) ( * -1.0 main_title_1_width ) ) -30.0 )
416 ( >= ( + meituan_slogan_y ( * -1.0 main_title_1_y ) ) 30.0 )
417 ( <= ( + meituan_slogan_hight meituan_slogan_y ( * -1.0 main_title_1_y ) ( * -1.0 main_title_1_hight ) ) -30.0 )
418 ( >= ( + meituan_detail_info_y ( * -1.0 main_title_1_y ) ) 30.0 )
419 ( <= ( + meituan_detail_info_y meituan_detail_info_hight ( * -1.0 main_title_1_y ) ( * -1.0 main_title_1_hight ) ) -30.0 )
420 ( <= ( + main_title_1_x ( * -1.0 download_app_x ) ) -30.0 )
421 ( >= ( + main_title_1_x main_title_1_width ( * -1.0 download_app_x ) ( * -1.0 download_app_width ) ) 30.0 )
422 ( >= ( + download_app_y ( * -1.0 main_title_1_y ) ) 30.0 )
423 ( >= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 0.0 )
424 ( <= ( + meituan_slogan_hight meituan_slogan_y ( * -1.0 meituan_detail_info_y ) ) 0.0 )
425 ( >= ( + download_app_y ( * -1.0 meituan_detail_info_y ) ( * -1.0 meituan_detail_info_hight ) ) 0.0 )
426 ( >= meituan_learn_more_x 0.0 )
427 ( >= meituan_learn_more_y 0.0 )
428 ( >= meituan_learn_more_width 0.0 )
429 ( >= meituan_learn_more_hight 0.0 )
430 ( <= ( + meituan_is_a_retail_comp_y ( * -1.0 main_title_2_y ) ) 10.0 )
431 ( >= ( + meituan_is_a_retail_comp_y ( * -1.0 main_title_2_y ) ) 10.0 )
432 ( <= ( + meituan_learn_more_y ( * -1.0 main_title_2_hight ) meituan_learn_more_hight ( * -1.0 main_title_2_y ) ) -10.0 )
433 ( >= ( + meituan_learn_more_y ( * -1.0 main_title_2_hight ) meituan_learn_more_hight ( * -1.0 main_title_2_y ) ) -10.0 )
434 ( <= ( + meituan_slogan_hight ( * -1.0 meituan_learn_more_y ) ( * 2.0 meituan_slogan_y ) ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 0.0 )
435 ( >= ( + meituan_slogan_hight ( * -1.0 meituan_learn_more_y ) ( * 2.0 meituan_slogan_y ) ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 0.0 )
436 ( >= ( + meituan_slogan_y ( * -1.0 meituan_is_a_retail_comp_hight ) ( * -1.0 meituan_is_a_retail_comp_y ) ) 10.0 )
437 ( <= ( + meituan_slogan_hight ( * -1.0 meituan_learn_more_y ) meituan_slogan_y ) -10.0 )
438 ( <= meituan_is_a_retail_comp_hight 30.0 )
439 ( >= meituan_is_a_retail_comp_hight 30.0 )
440 ( <= meituan_is_a_retail_comp_width 100.0 )
441 ( >= meituan_is_a_retail_comp_width 100.0 )
442 ( <= meituan_slogan_hight 30.0 )
443 ( >= meituan_slogan_hight 30.0 )
444 ( <= meituan_slogan_width 200.0 )
445 ( >= meituan_slogan_width 200.0 )
446 ( <= meituan_learn_more_hight 30.0 )
447 ( >= meituan_learn_more_hight 30.0 )
448 ( <= meituan_learn_more_width 50.0 )
449 ( >= meituan_learn_more_width 50.0 )
450 ( <= ( + ( * 2.0 meituan_learn_more_x ) meituan_learn_more_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
451 ( >= ( + ( * 2.0 meituan_learn_more_x ) meituan_learn_more_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
452 ( <= ( + ( * 2.0 main_title_2_x ) main_title_2_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
453 ( >= ( + ( * 2.0 main_title_2_x ) main_title_2_width ( * -2.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 0.0 )
454 ( <= ( + main_title_2_x ( * -1.0 meituan_is_a_retail_comp_x ) ) -10.0 )
455 ( >= ( + main_title_2_x main_title_2_width ( * -1.0 meituan_is_a_retail_comp_x ) ( * -1.0 meituan_is_a_retail_comp_width ) ) 10.0 )
456 ( <= ( + meituan_is_a_retail_comp_hight meituan_is_a_retail_comp_y ( * -1.0 main_title_2_hight ) ( * -1.0 main_title_2_y ) ) -10.0 )
457 ( <= ( + main_title_2_x ( * -1.0 meituan_slogan_x ) ) -10.0 )
458 ( >= ( + main_title_2_x main_title_2_width ( * -1.0 meituan_slogan_x ) ( * -1.0 meituan_slogan_width ) ) 10.0 )
459 ( >= ( + meituan_slogan_y ( * -1.0 main_title_2_y ) ) 10.0 )
460 ( <= ( + meituan_slogan_hight meituan_slogan_y ( * -1.0 main_title_2_hight ) ( * -1.0 main_title_2_y ) ) -10.0 )
461 ( <= ( + main_title_2_x ( * -1.0 meituan_learn_more_x ) ) -10.0 )
462 ( >= ( + main_title_2_x main_title_2_width ( * -1.0 meituan_learn_more_x ) ( * -1.0 meituan_learn_more_width ) ) 10.0 )
463 ( >= ( + meituan_learn_more_y ( * -1.0 main_title_2_y ) ) 10.0 )
464 ( <= ( + meituan_slogan_hight ( * -1.0 meituan_learn_more_y ) meituan_slogan_y ) 0.0 )
465 ( >= main_news_kid_0_x 0.0 )
466 ( >= main_news_kid_0_y 0.0 )
467 ( >= main_news_kid_0_hight 0.0 )
468 ( >= main_news_kid_1_x 0.0 )
469 ( >= main_news_kid_1_y 0.0 )
470 ( >= main_news_kid_1_hight 0.0 )
471 ( <= main_news_hight 50.0 )
472 ( >= main_news_hight 50.0 )
473 ( <= ( + main_news_y ( * -1.0 main_news_kid_0_y ) ) 0.0 )
474 ( >= ( + main_news_y ( * -1.0 main_news_kid_0_y ) ) 0.0 )
475 ( <= ( + main_news_y ( * -1.0 main_news_kid_0_y ) ( * -1.0 main_news_kid_0_hight ) ) -50.0 )
476 ( >= ( + main_news_y ( * -1.0 main_news_kid_0_y ) ( * -1.0 main_news_kid_0_hight ) ) -50.0 )
477 ( <= ( + main_news_y ( * -1.0 main_news_kid_1_y ) ) 0.0 )
478 ( >= ( + main_news_y ( * -1.0 main_news_kid_1_y ) ) 0.0 )
479 ( <= ( + main_news_kid_1_hight ( * -1.0 main_news_y ) ( * -1.0 main_news_hight ) main_news_kid_1_y ) 0.0 )
480 ( >= ( + main_news_kid_1_hight ( * -1.0 main_news_y ) ( * -1.0 main_news_hight ) main_news_kid_1_y ) 0.0 )
481 ( <= ( + main_news_kid_0_x ( * -1.0 main_news_x ) ) 0.0 )
482 ( >= ( + main_news_kid_0_x ( * -1.0 main_news_x ) ) 0.0 )
483 ( <= ( + main_news_kid_1_x ( * -1.0 main_news_x ) ( * -1.0 main_news_width ) ) -100.0 )
484 ( >= ( + main_news_kid_1_x ( * -1.0 main_news_x ) ( * -1.0 main_news_width ) ) -100.0 )
485 ( <= main_news_kid_0_width 100.0 )
486 ( >= main_news_kid_0_width 100.0 )
487 ( <= main_news_kid_1_width 100.0 )
488 ( >= main_news_kid_1_width 100.0 )
489 ( <= ( + main_news_kid_0_x ( * -1.0 main_news_x ) ( * -1.0 main_news_width ) ) -100.0 )
490 ( >= ( + main_news_kid_1_x ( * -1.0 main_news_x ) ) 0.0 )
491 ( >= ( + main_news_kid_1_x ( * -1.0 main_news_kid_0_x ) ) 100.0 )
492 ( >= main_pic_1_x 0.0 )
493 ( >= main_pic_1_y 0.0 )
494 ( >= main_pic_1_width 0.0 )
495 ( >= main_pic_1_hight 0.0 )
496 ( >= main_pic_2_x 0.0 )
497 ( >= main_pic_2_y 0.0 )
498 ( >= main_pic_2_width 0.0 )
499 ( >= main_pic_2_hight 0.0 )
500 main_pic_1_feasible
501 ( <= ( + main_pic_1_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
502 ( >= ( + main_pic_1_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
503 ( <= ( + main_pic_1_x main_pic_1_width ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
504 ( >= ( + main_pic_1_x main_pic_1_width ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
505 ( <= ( + main_pic_1_y ( * -1.0 main_pics_holder_y ) ) 0.0 )
506 ( >= ( + main_pic_1_y ( * -1.0 main_pics_holder_y ) ) 0.0 )
507 ( <= ( + main_pic_1_hight main_pic_1_y ( * -1.0 main_pics_holder_y ) ( * -1.0 main_pics_holder_hight ) ) 0.0 )
508 ( >= ( + main_pic_1_hight main_pic_1_y ( * -1.0 main_pics_holder_y ) ( * -1.0 main_pics_holder_hight ) ) 0.0 )
509 main_pic_2_feasible
510 ( <= ( + main_pic_2_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
511 ( >= ( + main_pic_2_x ( * -1.0 main_pics_holder_x ) ) 0.0 )
512 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
513 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 main_pics_holder_x ) ( * -1.0 main_pics_holder_width ) ) 0.0 )
514 ( <= ( + main_pic_2_y ( * -1.0 main_pics_holder_y ) ) 0.0 )
515 ( >= ( + main_pic_2_y ( * -1.0 main_pics_holder_y ) ) 0.0 )
516 ( <= ( + main_pic_2_y main_pic_2_hight ( * -1.0 main_pics_holder_y ) ( * -1.0 main_pics_holder_hight ) ) 0.0 )
517 ( >= ( + main_pic_2_y main_pic_2_hight ( * -1.0 main_pics_holder_y ) ( * -1.0 main_pics_holder_hight ) ) 0.0 )
518 ( >= main_pic_1_top_x 0.0 )
519 ( >= main_pic_1_top_y 0.0 )
520 ( >= main_pic_1_top_width 0.0 )
521 ( >= main_pic_1_top_hight 0.0 )
522 ( >= main_pic_1_tbl_x 0.0 )
523 ( >= main_pic_1_tbl_y 0.0 )
524 ( >= main_pic_1_tbl_width 0.0 )
525 ( >= main_pic_1_tbl_hight 0.0 )
526 ( <= ( + main_pic_1_top_x ( * -1.0 main_pic_1_x ) ) 0.0 )
527 ( >= ( + main_pic_1_top_x ( * -1.0 main_pic_1_x ) ) 0.0 )
528 ( <= ( + main_pic_1_tbl_x ( * -1.0 main_pic_1_x ) ) 0.0 )
529 ( >= ( + main_pic_1_tbl_x ( * -1.0 main_pic_1_x ) ) 0.0 )
530 ( <= ( + main_pic_1_top_width main_pic_1_top_x ( * -1.0 main_pic_1_x ) ( * -1.0 main_pic_1_width ) ) 0.0 )
531 ( >= ( + main_pic_1_top_width main_pic_1_top_x ( * -1.0 main_pic_1_x ) ( * -1.0 main_pic_1_width ) ) 0.0 )
532 ( <= ( + main_pic_1_tbl_x main_pic_1_tbl_width ( * -1.0 main_pic_1_x ) ( * -1.0 main_pic_1_width ) ) 0.0 )
533 ( >= ( + main_pic_1_tbl_x main_pic_1_tbl_width ( * -1.0 main_pic_1_x ) ( * -1.0 main_pic_1_width ) ) 0.0 )
534 ( <= ( + main_pic_1_top_y ( * -1.0 main_pic_1_y ) ) 0.0 )
535 ( >= ( + main_pic_1_top_y ( * -1.0 main_pic_1_y ) ) 0.0 )
536 ( <= ( + main_pic_1_tbl_y main_pic_1_tbl_hight ( * -1.0 main_pic_1_hight ) ( * -1.0 main_pic_1_y ) ) 0.0 )
537 ( >= ( + main_pic_1_tbl_y main_pic_1_tbl_hight ( * -1.0 main_pic_1_hight ) ( * -1.0 main_pic_1_y ) ) 0.0 )
538 ( <= ( + main_pic_1_tbl_y ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 10.0 )
539 ( >= ( + main_pic_1_tbl_y ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 10.0 )
540 ( >= pics_content_0_x 0.0 )
541 ( >= pics_content_0_y 0.0 )
542 ( >= pics_content_0_width 0.0 )
543 ( >= pics_content_0_hight 0.0 )
544 ( >= pics_content_1_x 0.0 )
545 ( >= pics_content_1_y 0.0 )
546 ( >= pics_content_1_width 0.0 )
547 ( >= pics_content_1_hight 0.0 )
548 main_pic_1_top_feasible
549 ( <= ( + pics_content_0_x ( * -1.0 main_pic_1_top_x ) ) 0.0 )
550 ( >= ( + pics_content_0_x ( * -1.0 main_pic_1_top_x ) ) 0.0 )
551 ( <= ( + pics_content_1_x pics_content_1_width ( * -1.0 main_pic_1_top_width ) ( * -1.0 main_pic_1_top_x ) ) 0.0 )
552 ( >= ( + pics_content_1_x pics_content_1_width ( * -1.0 main_pic_1_top_width ) ( * -1.0 main_pic_1_top_x ) ) 0.0 )
553 ( <= ( + pics_content_0_y ( * -1.0 main_pic_1_top_y ) ) 0.0 )
554 ( >= ( + pics_content_0_y ( * -1.0 main_pic_1_top_y ) ) 0.0 )
555 ( <= ( + pics_content_1_y ( * -1.0 main_pic_1_top_y ) ) 0.0 )
556 ( >= ( + pics_content_1_y ( * -1.0 main_pic_1_top_y ) ) 0.0 )
557 ( <= ( + pics_content_0_y pics_content_0_hight ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 0.0 )
558 ( >= ( + pics_content_0_y pics_content_0_hight ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 0.0 )
559 ( <= ( + pics_content_1_y pics_content_1_hight ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 0.0 )
560 ( >= ( + pics_content_1_y pics_content_1_hight ( * -1.0 main_pic_1_top_y ) ( * -1.0 main_pic_1_top_hight ) ) 0.0 )
561 ( <= ( + pics_content_1_x ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) ) 10.0 )
562 ( >= ( + pics_content_1_x ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) ) 10.0 )
563 ( <= ( + pics_content_0_x pics_content_0_width ( * -1.0 main_pic_1_top_width ) ( * -1.0 main_pic_1_top_x ) ) 0.0 )
564 ( >= ( + pics_content_1_x ( * -1.0 main_pic_1_top_x ) ) 0.0 )
565 ( >= ( + pics_content_1_x ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) ) 0.0 )
566 ( >= pics_content_2_x 0.0 )
567 ( >= pics_content_2_y 0.0 )
568 ( >= pics_content_2_width 0.0 )
569 ( >= pics_content_2_hight 0.0 )
570 ( <= ( + pics_content_2_hight ( * -1.0 pics_content_1_hight ) ) 0.0 )
571 ( >= ( + pics_content_2_hight ( * -1.0 pics_content_1_hight ) ) 0.0 )
572 ( <= ( + pics_content_2_width ( * -1.0 pics_content_1_width ) ) 0.0 )
573 ( >= ( + pics_content_2_width ( * -1.0 pics_content_1_width ) ) 0.0 )
574 ( >= pics_content_1_width 220.0 )
575 ( >= pics_content_3_x 0.0 )
576 ( >= pics_content_3_y 0.0 )
577 ( >= pics_content_3_width 0.0 )
578 ( >= pics_content_3_hight 0.0 )
579 ( >= pics_content_4_x 0.0 )
580 ( >= pics_content_4_y 0.0 )
581 ( >= pics_content_4_width 0.0 )
582 ( >= pics_content_4_hight 0.0 )
583 ( >= pics_content_5_x 0.0 )
584 ( >= pics_content_5_y 0.0 )
585 ( >= pics_content_5_width 0.0 )
586 ( >= pics_content_5_hight 0.0 )
587 ( >= pics_content_6_x 0.0 )
588 ( >= pics_content_6_y 0.0 )
589 ( >= pics_content_6_width 0.0 )
590 ( >= pics_content_6_hight 0.0 )
591 ( >= pics_content_7_x 0.0 )
592 ( >= pics_content_7_y 0.0 )
593 ( >= pics_content_7_width 0.0 )
594 ( >= pics_content_7_hight 0.0 )
595 main_pic_1_tbl_feasible
596 ( <= ( + pics_content_2_x ( * -1.0 main_pic_1_tbl_x ) ) 0.0 )
597 ( >= ( + pics_content_2_x ( * -1.0 main_pic_1_tbl_x ) ) 0.0 )
598 ( <= ( + pics_content_2_y ( * -1.0 main_pic_1_tbl_y ) ) 0.0 )
599 ( >= ( + pics_content_2_y ( * -1.0 main_pic_1_tbl_y ) ) 0.0 )
600 ( <= ( + pics_content_7_x pics_content_7_width ( * -1.0 main_pic_1_tbl_x ) ( * -1.0 main_pic_1_tbl_width ) ) 0.0 )
601 ( >= ( + pics_content_7_x pics_content_7_width ( * -1.0 main_pic_1_tbl_x ) ( * -1.0 main_pic_1_tbl_width ) ) 0.0 )
602 ( <= ( + pics_content_7_y pics_content_7_hight ( * -1.0 main_pic_1_tbl_y ) ( * -1.0 main_pic_1_tbl_hight ) ) 0.0 )
603 ( >= ( + pics_content_7_y pics_content_7_hight ( * -1.0 main_pic_1_tbl_y ) ( * -1.0 main_pic_1_tbl_hight ) ) 0.0 )
604 ( <= ( + pics_content_3_y ( * -1.0 pics_content_2_y ) ) 0.0 )
605 ( >= ( + pics_content_3_y ( * -1.0 pics_content_2_y ) ) 0.0 )
606 ( <= ( + pics_content_3_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
607 ( >= ( + pics_content_3_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
608 ( <= ( + pics_content_4_y ( * -1.0 pics_content_2_y ) ) 0.0 )
609 ( >= ( + pics_content_4_y ( * -1.0 pics_content_2_y ) ) 0.0 )
610 ( <= ( + pics_content_4_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
611 ( >= ( + pics_content_4_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
612 ( <= ( + pics_content_6_y ( * -1.0 pics_content_5_y ) ) 0.0 )
613 ( >= ( + pics_content_6_y ( * -1.0 pics_content_5_y ) ) 0.0 )
614 ( <= ( + pics_content_6_hight ( * -1.0 pics_content_5_hight ) ) 0.0 )
615 ( >= ( + pics_content_6_hight ( * -1.0 pics_content_5_hight ) ) 0.0 )
616 ( <= ( + pics_content_7_y ( * -1.0 pics_content_5_y ) ) 0.0 )
617 ( >= ( + pics_content_7_y ( * -1.0 pics_content_5_y ) ) 0.0 )
618 ( <= ( + pics_content_5_hight ( * -1.0 pics_content_7_hight ) ) 0.0 )
619 ( >= ( + pics_content_5_hight ( * -1.0 pics_content_7_hight ) ) 0.0 )
620 ( <= ( + pics_content_5_x ( * -1.0 pics_content_2_x ) ) 0.0 )
621 ( >= ( + pics_content_5_x ( * -1.0 pics_content_2_x ) ) 0.0 )
622 ( <= ( + pics_content_5_width ( * -1.0 pics_content_2_width ) ) 0.0 )
623 ( >= ( + pics_content_5_width ( * -1.0 pics_content_2_width ) ) 0.0 )
624 ( <= ( + pics_content_6_x ( * -1.0 pics_content_3_x ) ) 0.0 )
625 ( >= ( + pics_content_6_x ( * -1.0 pics_content_3_x ) ) 0.0 )
626 ( <= ( + pics_content_6_width ( * -1.0 pics_content_3_width ) ) 0.0 )
627 ( >= ( + pics_content_6_width ( * -1.0 pics_content_3_width ) ) 0.0 )
628 ( <= ( + pics_content_7_x ( * -1.0 pics_content_4_x ) ) 0.0 )
629 ( >= ( + pics_content_7_x ( * -1.0 pics_content_4_x ) ) 0.0 )
630 ( <= ( + pics_content_7_width ( * -1.0 pics_content_4_width ) ) 0.0 )
631 ( >= ( + pics_content_7_width ( * -1.0 pics_content_4_width ) ) 0.0 )
632 ( <= ( + pics_content_3_x ( * -1.0 pics_content_2_x ) ( * -1.0 pics_content_2_width ) ) 10.0 )
633 ( >= ( + pics_content_3_x ( * -1.0 pics_content_2_x ) ( * -1.0 pics_content_2_width ) ) 10.0 )
634 ( <= ( + pics_content_4_x ( * -1.0 pics_content_3_width ) ( * -1.0 pics_content_3_x ) ) 10.0 )
635 ( >= ( + pics_content_4_x ( * -1.0 pics_content_3_width ) ( * -1.0 pics_content_3_x ) ) 10.0 )
636 ( <= ( + pics_content_5_y ( * -1.0 pics_content_2_hight ) ( * -1.0 pics_content_2_y ) ) 10.0 )
637 ( >= ( + pics_content_5_y ( * -1.0 pics_content_2_hight ) ( * -1.0 pics_content_2_y ) ) 10.0 )
638 ( <= ( + pics_content_5_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
639 ( >= ( + pics_content_5_hight ( * -1.0 pics_content_2_hight ) ) 0.0 )
640 ( <= ( + pics_content_3_width ( * -1.0 pics_content_2_width ) ) 0.0 )
641 ( >= ( + pics_content_3_width ( * -1.0 pics_content_2_width ) ) 0.0 )
642 ( <= ( + pics_content_4_width ( * -1.0 pics_content_2_width ) ) 0.0 )
643 ( >= ( + pics_content_4_width ( * -1.0 pics_content_2_width ) ) 0.0 )
644 ( >= pics_content_0_pic_x 0.0 )
645 ( >= pics_content_0_pic_y 0.0 )
646 ( >= pics_content_0_pic_width 0.0 )
647 ( >= pics_content_0_pic_hight 0.0 )
648 ( >= pics_content_0_title_x 0.0 )
649 ( >= pics_content_0_title_y 0.0 )
650 ( >= pics_content_0_title_width 0.0 )
651 pics_content_0_feasible
652 ( <= ( + pics_content_0_x ( * -1.0 pics_content_0_pic_x ) ) 0.0 )
653 ( >= ( + pics_content_0_x ( * -1.0 pics_content_0_pic_x ) ) 0.0 )
654 ( <= ( + pics_content_0_x ( * -1.0 pics_content_0_title_x ) ) 0.0 )
655 ( >= ( + pics_content_0_x ( * -1.0 pics_content_0_title_x ) ) 0.0 )
656 ( <= ( + pics_content_0_pic_width ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) pics_content_0_pic_x ) 0.0 )
657 ( >= ( + pics_content_0_pic_width ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) pics_content_0_pic_x ) 0.0 )
658 ( <= ( + pics_content_0_x pics_content_0_width ( * -1.0 pics_content_0_title_x ) ( * -1.0 pics_content_0_title_width ) ) 0.0 )
659 ( >= ( + pics_content_0_x pics_content_0_width ( * -1.0 pics_content_0_title_x ) ( * -1.0 pics_content_0_title_width ) ) 0.0 )
660 ( <= ( + pics_content_0_y ( * -1.0 pics_content_0_pic_y ) ) 0.0 )
661 ( >= ( + pics_content_0_y ( * -1.0 pics_content_0_pic_y ) ) 0.0 )
662 ( <= ( + pics_content_0_y pics_content_0_hight ( * -1.0 pics_content_0_title_hight ) ( * -1.0 pics_content_0_title_y ) ) 0.0 )
663 ( >= ( + pics_content_0_y pics_content_0_hight ( * -1.0 pics_content_0_title_hight ) ( * -1.0 pics_content_0_title_y ) ) 0.0 )
664 ( <= ( + pics_content_0_pic_hight ( * -1.0 pics_content_0_title_y ) pics_content_0_pic_y ) 0.0 )
665 ( >= ( + pics_content_0_pic_hight ( * -1.0 pics_content_0_title_y ) pics_content_0_pic_y ) 0.0 )
666 ( >= pics_content_0_title_kid_0_x 0.0 )
667 ( >= pics_content_0_title_kid_0_y 0.0 )
668 ( >= pics_content_0_title_kid_0_width 0.0 )
669 ( >= pics_content_0_title_kid_0_hight 0.0 )
670 ( >= pics_content_0_title_kid_1_x 0.0 )
671 ( >= pics_content_0_title_kid_1_y 0.0 )
672 ( >= pics_content_0_title_kid_1_width 0.0 )
673 ( >= pics_content_0_title_kid_1_hight 0.0 )
674 ( >= pics_content_0_title_kid_2_x 0.0 )
675 ( >= pics_content_0_title_kid_2_y 0.0 )
676 ( >= pics_content_0_title_kid_2_width 0.0 )
677 ( >= pics_content_0_title_kid_2_hight 0.0 )
678 pics_content_0_title_feasible
679 ( <= ( + pics_content_0_title_kid_1_y ( * -1.0 pics_content_0_title_kid_0_hight ) ( * -1.0 pics_content_0_title_kid_0_y ) ) 10.0 )
680 ( >= ( + pics_content_0_title_kid_1_y ( * -1.0 pics_content_0_title_kid_0_hight ) ( * -1.0 pics_content_0_title_kid_0_y ) ) 10.0 )
681 ( <= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_kid_1_y ) ( * -1.0 pics_content_0_title_kid_1_hight ) ) 10.0 )
682 ( >= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_kid_1_y ) ( * -1.0 pics_content_0_title_kid_1_hight ) ) 10.0 )
683 ( <= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_0_x ) ) -10.0 )
684 ( >= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_0_x ) ) -10.0 )
685 ( <= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_1_x ) ) -10.0 )
686 ( >= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_1_x ) ) -10.0 )
687 ( <= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_2_x ) ) -10.0 )
688 ( >= ( + pics_content_0_title_x ( * -1.0 pics_content_0_title_kid_2_x ) ) -10.0 )
689 ( <= ( + pics_content_0_title_x pics_content_0_title_width ( * -1.0 pics_content_0_title_kid_0_width ) ( * -1.0 pics_content_0_title_kid_0_x ) ) 10.0 )
690 ( >= ( + pics_content_0_title_x pics_content_0_title_width ( * -1.0 pics_content_0_title_kid_0_width ) ( * -1.0 pics_content_0_title_kid_0_x ) ) 10.0 )
691 ( <= ( + pics_content_0_title_x pics_content_0_title_width ( * -1.0 pics_content_0_title_kid_1_width ) ( * -1.0 pics_content_0_title_kid_1_x ) ) 10.0 )
692 ( >= ( + pics_content_0_title_x pics_content_0_title_width ( * -1.0 pics_content_0_title_kid_1_width ) ( * -1.0 pics_content_0_title_kid_1_x ) ) 10.0 )
693 ( <= ( + pics_content_0_title_kid_2_width ( * -1.0 pics_content_0_title_x ) ( * -1.0 pics_content_0_title_width ) pics_content_0_title_kid_2_x ) -10.0 )
694 ( >= ( + pics_content_0_title_kid_2_width ( * -1.0 pics_content_0_title_x ) ( * -1.0 pics_content_0_title_width ) pics_content_0_title_kid_2_x ) -10.0 )
695 ( <= ( + pics_content_0_title_kid_0_y ( * -1.0 pics_content_0_title_y ) ) 10.0 )
696 ( >= ( + pics_content_0_title_kid_0_y ( * -1.0 pics_content_0_title_y ) ) 10.0 )
697 ( <= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_hight ) pics_content_0_title_kid_2_hight ( * -1.0 pics_content_0_title_y ) ) -10.0 )
698 ( >= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_hight ) pics_content_0_title_kid_2_hight ( * -1.0 pics_content_0_title_y ) ) -10.0 )
699 ( <= pics_content_0_title_hight 200.0 )
700 ( >= pics_content_0_title_hight 200.0 )
701 ( <= ( + pics_content_0_title_kid_1_hight ( * -1.0 pics_content_0_title_kid_0_hight ) ) 0.0 )
702 ( >= ( + pics_content_0_title_kid_1_hight ( * -1.0 pics_content_0_title_kid_0_hight ) ) 0.0 )
703 ( <= ( + pics_content_0_title_kid_0_hight ( * -1.0 pics_content_0_title_kid_2_hight ) ) 0.0 )
704 ( >= ( + pics_content_0_title_kid_0_hight ( * -1.0 pics_content_0_title_kid_2_hight ) ) 0.0 )
705 ( <= ( + pics_content_0_title_kid_0_hight pics_content_0_title_kid_0_y ( * -1.0 pics_content_0_title_hight ) ( * -1.0 pics_content_0_title_y ) ) -10.0 )
706 ( >= ( + pics_content_0_title_kid_1_y ( * -1.0 pics_content_0_title_y ) ) 10.0 )
707 ( <= ( + pics_content_0_title_kid_1_y pics_content_0_title_kid_1_hight ( * -1.0 pics_content_0_title_hight ) ( * -1.0 pics_content_0_title_y ) ) -10.0 )
708 ( >= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_y ) ) 10.0 )
709 ( >= ( + pics_content_0_title_kid_1_y ( * -1.0 pics_content_0_title_kid_0_hight ) ( * -1.0 pics_content_0_title_kid_0_y ) ) 0.0 )
710 ( >= ( + pics_content_0_title_kid_2_y ( * -1.0 pics_content_0_title_kid_1_y ) ( * -1.0 pics_content_0_title_kid_1_hight ) ) 0.0 )
711 ( >= pics_content_1_pic_x 0.0 )
712 ( >= pics_content_1_pic_y 0.0 )
713 ( >= pics_content_1_pic_width 0.0 )
714 ( >= pics_content_1_pic_hight 0.0 )
715 ( >= pics_content_1_title_x 0.0 )
716 ( >= pics_content_1_title_y 0.0 )
717 ( >= pics_content_1_title_width 0.0 )
718 pics_content_1_feasible
719 ( <= ( + pics_content_1_x ( * -1.0 pics_content_1_pic_x ) ) 0.0 )
720 ( >= ( + pics_content_1_x ( * -1.0 pics_content_1_pic_x ) ) 0.0 )
721 ( <= ( + pics_content_1_x ( * -1.0 pics_content_1_title_x ) ) 0.0 )
722 ( >= ( + pics_content_1_x ( * -1.0 pics_content_1_title_x ) ) 0.0 )
723 ( <= ( + pics_content_1_x pics_content_1_width ( * -1.0 pics_content_1_pic_width ) ( * -1.0 pics_content_1_pic_x ) ) 0.0 )
724 ( >= ( + pics_content_1_x pics_content_1_width ( * -1.0 pics_content_1_pic_width ) ( * -1.0 pics_content_1_pic_x ) ) 0.0 )
725 ( <= ( + pics_content_1_x pics_content_1_width ( * -1.0 pics_content_1_title_x ) ( * -1.0 pics_content_1_title_width ) ) 0.0 )
726 ( >= ( + pics_content_1_x pics_content_1_width ( * -1.0 pics_content_1_title_x ) ( * -1.0 pics_content_1_title_width ) ) 0.0 )
727 ( <= ( + pics_content_1_y ( * -1.0 pics_content_1_pic_y ) ) 0.0 )
728 ( >= ( + pics_content_1_y ( * -1.0 pics_content_1_pic_y ) ) 0.0 )
729 ( <= ( + pics_content_1_y pics_content_1_hight ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) 0.0 )
730 ( >= ( + pics_content_1_y pics_content_1_hight ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) 0.0 )
731 ( <= ( + pics_content_1_title_y ( * -1.0 pics_content_1_pic_hight ) ( * -1.0 pics_content_1_pic_y ) ) 0.0 )
732 ( >= ( + pics_content_1_title_y ( * -1.0 pics_content_1_pic_hight ) ( * -1.0 pics_content_1_pic_y ) ) 0.0 )
733 ( <= ( + pics_content_1_pic_hight ( * -1.0 pics_content_1_pic_width ) ) 0.0 )
734 ( >= ( + pics_content_1_pic_hight ( * -1.0 pics_content_1_pic_width ) ) 0.0 )
735 ( >= pics_content_1_title_kid_0_x 0.0 )
736 ( >= pics_content_1_title_kid_0_y 0.0 )
737 ( >= pics_content_1_title_kid_0_width 0.0 )
738 ( >= pics_content_1_title_kid_0_hight 0.0 )
739 ( >= pics_content_1_title_kid_1_x 0.0 )
740 ( >= pics_content_1_title_kid_1_y 0.0 )
741 ( >= pics_content_1_title_kid_1_width 0.0 )
742 ( >= pics_content_1_title_kid_1_hight 0.0 )
743 ( >= pics_content_1_title_kid_2_x 0.0 )
744 ( >= pics_content_1_title_kid_2_y 0.0 )
745 ( >= pics_content_1_title_kid_2_width 0.0 )
746 ( >= pics_content_1_title_kid_2_hight 0.0 )
747 pics_content_1_title_feasible
748 ( <= ( + pics_content_1_title_kid_1_y ( * -1.0 pics_content_1_title_kid_0_hight ) ( * -1.0 pics_content_1_title_kid_0_y ) ) 10.0 )
749 ( >= ( + pics_content_1_title_kid_1_y ( * -1.0 pics_content_1_title_kid_0_hight ) ( * -1.0 pics_content_1_title_kid_0_y ) ) 10.0 )
750 ( <= ( + pics_content_1_title_kid_2_y ( * -1.0 pics_content_1_title_kid_1_y ) ( * -1.0 pics_content_1_title_kid_1_hight ) ) 10.0 )
751 ( >= ( + pics_content_1_title_kid_2_y ( * -1.0 pics_content_1_title_kid_1_y ) ( * -1.0 pics_content_1_title_kid_1_hight ) ) 10.0 )
752 ( <= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_0_x ) ) -10.0 )
753 ( >= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_0_x ) ) -10.0 )
754 ( <= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_1_x ) ) -10.0 )
755 ( >= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_1_x ) ) -10.0 )
756 ( <= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_2_x ) ) -10.0 )
757 ( >= ( + pics_content_1_title_x ( * -1.0 pics_content_1_title_kid_2_x ) ) -10.0 )
758 ( <= ( + pics_content_1_title_x pics_content_1_title_width ( * -1.0 pics_content_1_title_kid_0_x ) ( * -1.0 pics_content_1_title_kid_0_width ) ) 10.0 )
759 ( >= ( + pics_content_1_title_x pics_content_1_title_width ( * -1.0 pics_content_1_title_kid_0_x ) ( * -1.0 pics_content_1_title_kid_0_width ) ) 10.0 )
760 ( <= ( + pics_content_1_title_x pics_content_1_title_width ( * -1.0 pics_content_1_title_kid_1_x ) ( * -1.0 pics_content_1_title_kid_1_width ) ) 10.0 )
761 ( >= ( + pics_content_1_title_x pics_content_1_title_width ( * -1.0 pics_content_1_title_kid_1_x ) ( * -1.0 pics_content_1_title_kid_1_width ) ) 10.0 )
762 ( <= ( + pics_content_1_title_kid_2_width ( * -1.0 pics_content_1_title_x ) ( * -1.0 pics_content_1_title_width ) pics_content_1_title_kid_2_x ) -10.0 )
763 ( >= ( + pics_content_1_title_kid_2_width ( * -1.0 pics_content_1_title_x ) ( * -1.0 pics_content_1_title_width ) pics_content_1_title_kid_2_x ) -10.0 )
764 ( <= ( + pics_content_1_title_kid_0_y ( * -1.0 pics_content_1_title_y ) ) 10.0 )
765 ( >= ( + pics_content_1_title_kid_0_y ( * -1.0 pics_content_1_title_y ) ) 10.0 )
766 ( <= ( + pics_content_1_title_kid_2_y pics_content_1_title_kid_2_hight ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) -10.0 )
767 ( >= ( + pics_content_1_title_kid_2_y pics_content_1_title_kid_2_hight ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) -10.0 )
768 ( <= pics_content_1_title_hight 200.0 )
769 ( >= pics_content_1_title_hight 200.0 )
770 ( <= ( + pics_content_1_title_kid_1_hight ( * -1.0 pics_content_1_title_kid_0_hight ) ) 0.0 )
771 ( >= ( + pics_content_1_title_kid_1_hight ( * -1.0 pics_content_1_title_kid_0_hight ) ) 0.0 )
772 ( <= ( + pics_content_1_title_kid_0_hight ( * -1.0 pics_content_1_title_kid_2_hight ) ) 0.0 )
773 ( >= ( + pics_content_1_title_kid_0_hight ( * -1.0 pics_content_1_title_kid_2_hight ) ) 0.0 )
774 ( <= ( + pics_content_1_title_kid_0_hight pics_content_1_title_kid_0_y ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) -10.0 )
775 ( >= ( + pics_content_1_title_kid_1_y ( * -1.0 pics_content_1_title_y ) ) 10.0 )
776 ( <= ( + pics_content_1_title_kid_1_y pics_content_1_title_kid_1_hight ( * -1.0 pics_content_1_title_y ) ( * -1.0 pics_content_1_title_hight ) ) -10.0 )
777 ( >= ( + pics_content_1_title_kid_2_y ( * -1.0 pics_content_1_title_y ) ) 10.0 )
778 ( >= ( + pics_content_1_title_kid_1_y ( * -1.0 pics_content_1_title_kid_0_hight ) ( * -1.0 pics_content_1_title_kid_0_y ) ) 0.0 )
779 ( >= ( + pics_content_1_title_kid_2_y ( * -1.0 pics_content_1_title_kid_1_y ) ( * -1.0 pics_content_1_title_kid_1_hight ) ) 0.0 )
780 ( >= pics_content_2_pic_x 0.0 )
781 ( >= pics_content_2_pic_y 0.0 )
782 ( >= pics_content_2_pic_width 0.0 )
783 ( >= pics_content_2_pic_hight 0.0 )
784 ( >= pics_content_2_title_x 0.0 )
785 ( >= pics_content_2_title_y 0.0 )
786 ( >= pics_content_2_title_width 0.0 )
787 pics_content_2_feasible
788 ( <= ( + pics_content_2_x ( * -1.0 pics_content_2_pic_x ) ) 0.0 )
789 ( >= ( + pics_content_2_x ( * -1.0 pics_content_2_pic_x ) ) 0.0 )
790 ( <= ( + pics_content_2_x ( * -1.0 pics_content_2_title_x ) ) 0.0 )
791 ( >= ( + pics_content_2_x ( * -1.0 pics_content_2_title_x ) ) 0.0 )
792 ( <= ( + pics_content_2_x pics_content_2_width ( * -1.0 pics_content_2_pic_width ) ( * -1.0 pics_content_2_pic_x ) ) 0.0 )
793 ( >= ( + pics_content_2_x pics_content_2_width ( * -1.0 pics_content_2_pic_width ) ( * -1.0 pics_content_2_pic_x ) ) 0.0 )
794 ( <= ( + pics_content_2_x pics_content_2_width ( * -1.0 pics_content_2_title_width ) ( * -1.0 pics_content_2_title_x ) ) 0.0 )
795 ( >= ( + pics_content_2_x pics_content_2_width ( * -1.0 pics_content_2_title_width ) ( * -1.0 pics_content_2_title_x ) ) 0.0 )
796 ( <= ( + pics_content_2_y ( * -1.0 pics_content_2_pic_y ) ) 0.0 )
797 ( >= ( + pics_content_2_y ( * -1.0 pics_content_2_pic_y ) ) 0.0 )
798 ( <= ( + pics_content_2_hight pics_content_2_y ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) 0.0 )
799 ( >= ( + pics_content_2_hight pics_content_2_y ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) 0.0 )
800 ( <= ( + pics_content_2_title_y ( * -1.0 pics_content_2_pic_hight ) ( * -1.0 pics_content_2_pic_y ) ) 0.0 )
801 ( >= ( + pics_content_2_title_y ( * -1.0 pics_content_2_pic_hight ) ( * -1.0 pics_content_2_pic_y ) ) 0.0 )
802 ( <= ( + pics_content_2_pic_width ( * -1.0 pics_content_2_pic_hight ) ) 0.0 )
803 ( >= ( + pics_content_2_pic_width ( * -1.0 pics_content_2_pic_hight ) ) 0.0 )
804 ( >= pics_content_2_title_kid_0_x 0.0 )
805 ( >= pics_content_2_title_kid_0_y 0.0 )
806 ( >= pics_content_2_title_kid_0_width 0.0 )
807 ( >= pics_content_2_title_kid_0_hight 0.0 )
808 ( >= pics_content_2_title_kid_1_x 0.0 )
809 ( >= pics_content_2_title_kid_1_y 0.0 )
810 ( >= pics_content_2_title_kid_1_width 0.0 )
811 ( >= pics_content_2_title_kid_1_hight 0.0 )
812 ( >= pics_content_2_title_kid_2_x 0.0 )
813 ( >= pics_content_2_title_kid_2_y 0.0 )
814 ( >= pics_content_2_title_kid_2_width 0.0 )
815 ( >= pics_content_2_title_kid_2_hight 0.0 )
816 pics_content_2_title_feasible
817 ( <= ( + pics_content_2_title_kid_1_y ( * -1.0 pics_content_2_title_kid_0_y ) ( * -1.0 pics_content_2_title_kid_0_hight ) ) 10.0 )
818 ( >= ( + pics_content_2_title_kid_1_y ( * -1.0 pics_content_2_title_kid_0_y ) ( * -1.0 pics_content_2_title_kid_0_hight ) ) 10.0 )
819 ( <= ( + pics_content_2_title_kid_1_y pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_kid_2_y ) ) -10.0 )
820 ( >= ( + pics_content_2_title_kid_1_y pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_kid_2_y ) ) -10.0 )
821 ( <= ( + pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_0_x ) ) -10.0 )
822 ( >= ( + pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_0_x ) ) -10.0 )
823 ( <= ( + pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_1_x ) ) -10.0 )
824 ( >= ( + pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_1_x ) ) -10.0 )
825 ( <= ( + pics_content_2_title_kid_2_x ( * -1.0 pics_content_2_title_x ) ) 10.0 )
826 ( >= ( + pics_content_2_title_kid_2_x ( * -1.0 pics_content_2_title_x ) ) 10.0 )
827 ( <= ( + pics_content_2_title_width pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_0_x ) ( * -1.0 pics_content_2_title_kid_0_width ) ) 10.0 )
828 ( >= ( + pics_content_2_title_width pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_0_x ) ( * -1.0 pics_content_2_title_kid_0_width ) ) 10.0 )
829 ( <= ( + pics_content_2_title_width pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_1_x ) ( * -1.0 pics_content_2_title_kid_1_width ) ) 10.0 )
830 ( >= ( + pics_content_2_title_width pics_content_2_title_x ( * -1.0 pics_content_2_title_kid_1_x ) ( * -1.0 pics_content_2_title_kid_1_width ) ) 10.0 )
831 ( <= ( + pics_content_2_title_width ( * -1.0 pics_content_2_title_kid_2_x ) ( * -1.0 pics_content_2_title_kid_2_width ) pics_content_2_title_x ) 10.0 )
832 ( >= ( + pics_content_2_title_width ( * -1.0 pics_content_2_title_kid_2_x ) ( * -1.0 pics_content_2_title_kid_2_width ) pics_content_2_title_x ) 10.0 )
833 ( <= ( + pics_content_2_title_kid_0_y ( * -1.0 pics_content_2_title_y ) ) 10.0 )
834 ( >= ( + pics_content_2_title_kid_0_y ( * -1.0 pics_content_2_title_y ) ) 10.0 )
835 ( <= ( + pics_content_2_title_kid_2_y pics_content_2_title_kid_2_hight ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) -10.0 )
836 ( >= ( + pics_content_2_title_kid_2_y pics_content_2_title_kid_2_hight ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) -10.0 )
837 ( <= pics_content_2_title_hight 200.0 )
838 ( >= pics_content_2_title_hight 200.0 )
839 ( <= ( + pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_kid_0_hight ) ) 0.0 )
840 ( >= ( + pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_kid_0_hight ) ) 0.0 )
841 ( <= ( + pics_content_2_title_kid_0_hight ( * -1.0 pics_content_2_title_kid_2_hight ) ) 0.0 )
842 ( >= ( + pics_content_2_title_kid_0_hight ( * -1.0 pics_content_2_title_kid_2_hight ) ) 0.0 )
843 ( <= ( + pics_content_2_title_kid_0_y pics_content_2_title_kid_0_hight ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) -10.0 )
844 ( >= ( + pics_content_2_title_kid_1_y ( * -1.0 pics_content_2_title_y ) ) 10.0 )
845 ( <= ( + pics_content_2_title_kid_1_y pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_y ) ( * -1.0 pics_content_2_title_hight ) ) -10.0 )
846 ( >= ( + pics_content_2_title_kid_2_y ( * -1.0 pics_content_2_title_y ) ) 10.0 )
847 ( >= ( + pics_content_2_title_kid_1_y ( * -1.0 pics_content_2_title_kid_0_y ) ( * -1.0 pics_content_2_title_kid_0_hight ) ) 0.0 )
848 ( <= ( + pics_content_2_title_kid_1_y pics_content_2_title_kid_1_hight ( * -1.0 pics_content_2_title_kid_2_y ) ) 0.0 )
849 ( >= pics_content_3_pic_x 0.0 )
850 ( >= pics_content_3_pic_y 0.0 )
851 ( >= pics_content_3_pic_width 0.0 )
852 ( >= pics_content_3_pic_hight 0.0 )
853 ( >= pics_content_3_title_x 0.0 )
854 ( >= pics_content_3_title_y 0.0 )
855 ( >= pics_content_3_title_width 0.0 )
856 pics_content_3_feasible
857 ( <= ( + pics_content_3_x ( * -1.0 pics_content_3_pic_x ) ) 0.0 )
858 ( >= ( + pics_content_3_x ( * -1.0 pics_content_3_pic_x ) ) 0.0 )
859 ( <= ( + pics_content_3_x ( * -1.0 pics_content_3_title_x ) ) 0.0 )
860 ( >= ( + pics_content_3_x ( * -1.0 pics_content_3_title_x ) ) 0.0 )
861 ( <= ( + pics_content_3_width pics_content_3_x ( * -1.0 pics_content_3_pic_width ) ( * -1.0 pics_content_3_pic_x ) ) 0.0 )
862 ( >= ( + pics_content_3_width pics_content_3_x ( * -1.0 pics_content_3_pic_width ) ( * -1.0 pics_content_3_pic_x ) ) 0.0 )
863 ( <= ( + pics_content_3_width pics_content_3_x ( * -1.0 pics_content_3_title_width ) ( * -1.0 pics_content_3_title_x ) ) 0.0 )
864 ( >= ( + pics_content_3_width pics_content_3_x ( * -1.0 pics_content_3_title_width ) ( * -1.0 pics_content_3_title_x ) ) 0.0 )
865 ( <= ( + pics_content_3_y ( * -1.0 pics_content_3_pic_y ) ) 0.0 )
866 ( >= ( + pics_content_3_y ( * -1.0 pics_content_3_pic_y ) ) 0.0 )
867 ( <= ( + pics_content_3_hight pics_content_3_y ( * -1.0 pics_content_3_title_hight ) ( * -1.0 pics_content_3_title_y ) ) 0.0 )
868 ( >= ( + pics_content_3_hight pics_content_3_y ( * -1.0 pics_content_3_title_hight ) ( * -1.0 pics_content_3_title_y ) ) 0.0 )
869 ( <= ( + pics_content_3_title_y ( * -1.0 pics_content_3_pic_hight ) ( * -1.0 pics_content_3_pic_y ) ) 0.0 )
870 ( >= ( + pics_content_3_title_y ( * -1.0 pics_content_3_pic_hight ) ( * -1.0 pics_content_3_pic_y ) ) 0.0 )
871 ( <= ( + pics_content_3_pic_hight ( * -1.0 pics_content_3_pic_width ) ) 0.0 )
872 ( >= ( + pics_content_3_pic_hight ( * -1.0 pics_content_3_pic_width ) ) 0.0 )
873 ( >= pics_content_3_title_kid_0_x 0.0 )
874 ( >= pics_content_3_title_kid_0_y 0.0 )
875 ( >= pics_content_3_title_kid_0_width 0.0 )
876 ( >= pics_content_3_title_kid_0_hight 0.0 )
877 ( >= pics_content_3_title_kid_1_x 0.0 )
878 ( >= pics_content_3_title_kid_1_y 0.0 )
879 ( >= pics_content_3_title_kid_1_width 0.0 )
880 ( >= pics_content_3_title_kid_1_hight 0.0 )
881 ( >= pics_content_3_title_kid_2_x 0.0 )
882 ( >= pics_content_3_title_kid_2_y 0.0 )
883 ( >= pics_content_3_title_kid_2_width 0.0 )
884 ( >= pics_content_3_title_kid_2_hight 0.0 )
885 pics_content_3_title_feasible
886 ( <= ( + pics_content_3_title_kid_1_y ( * -1.0 pics_content_3_title_kid_0_y ) ( * -1.0 pics_content_3_title_kid_0_hight ) ) 10.0 )
887 ( >= ( + pics_content_3_title_kid_1_y ( * -1.0 pics_content_3_title_kid_0_y ) ( * -1.0 pics_content_3_title_kid_0_hight ) ) 10.0 )
888 ( <= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_kid_1_y ) ( * -1.0 pics_content_3_title_kid_1_hight ) ) 10.0 )
889 ( >= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_kid_1_y ) ( * -1.0 pics_content_3_title_kid_1_hight ) ) 10.0 )
890 ( <= ( + pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_0_x ) ) -10.0 )
891 ( >= ( + pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_0_x ) ) -10.0 )
892 ( <= ( + pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_1_x ) ) -10.0 )
893 ( >= ( + pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_1_x ) ) -10.0 )
894 ( <= ( + pics_content_3_title_kid_2_x ( * -1.0 pics_content_3_title_x ) ) 10.0 )
895 ( >= ( + pics_content_3_title_kid_2_x ( * -1.0 pics_content_3_title_x ) ) 10.0 )
896 ( <= ( + pics_content_3_title_width pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_0_width ) ( * -1.0 pics_content_3_title_kid_0_x ) ) 10.0 )
897 ( >= ( + pics_content_3_title_width pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_0_width ) ( * -1.0 pics_content_3_title_kid_0_x ) ) 10.0 )
898 ( <= ( + pics_content_3_title_width pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_1_x ) ( * -1.0 pics_content_3_title_kid_1_width ) ) 10.0 )
899 ( >= ( + pics_content_3_title_width pics_content_3_title_x ( * -1.0 pics_content_3_title_kid_1_x ) ( * -1.0 pics_content_3_title_kid_1_width ) ) 10.0 )
900 ( <= ( + pics_content_3_title_width ( * -1.0 pics_content_3_title_kid_2_x ) ( * -1.0 pics_content_3_title_kid_2_width ) pics_content_3_title_x ) 10.0 )
901 ( >= ( + pics_content_3_title_width ( * -1.0 pics_content_3_title_kid_2_x ) ( * -1.0 pics_content_3_title_kid_2_width ) pics_content_3_title_x ) 10.0 )
902 ( <= ( + pics_content_3_title_kid_0_y ( * -1.0 pics_content_3_title_y ) ) 10.0 )
903 ( >= ( + pics_content_3_title_kid_0_y ( * -1.0 pics_content_3_title_y ) ) 10.0 )
904 ( <= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_hight ) pics_content_3_title_kid_2_hight ( * -1.0 pics_content_3_title_y ) ) -10.0 )
905 ( >= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_hight ) pics_content_3_title_kid_2_hight ( * -1.0 pics_content_3_title_y ) ) -10.0 )
906 ( <= pics_content_3_title_hight 200.0 )
907 ( >= pics_content_3_title_hight 200.0 )
908 ( <= ( + pics_content_3_title_kid_1_hight ( * -1.0 pics_content_3_title_kid_0_hight ) ) 0.0 )
909 ( >= ( + pics_content_3_title_kid_1_hight ( * -1.0 pics_content_3_title_kid_0_hight ) ) 0.0 )
910 ( <= ( + pics_content_3_title_kid_0_hight ( * -1.0 pics_content_3_title_kid_2_hight ) ) 0.0 )
911 ( >= ( + pics_content_3_title_kid_0_hight ( * -1.0 pics_content_3_title_kid_2_hight ) ) 0.0 )
912 ( <= ( + pics_content_3_title_kid_0_y pics_content_3_title_kid_0_hight ( * -1.0 pics_content_3_title_hight ) ( * -1.0 pics_content_3_title_y ) ) -10.0 )
913 ( >= ( + pics_content_3_title_kid_1_y ( * -1.0 pics_content_3_title_y ) ) 10.0 )
914 ( <= ( + pics_content_3_title_kid_1_y pics_content_3_title_kid_1_hight ( * -1.0 pics_content_3_title_hight ) ( * -1.0 pics_content_3_title_y ) ) -10.0 )
915 ( >= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_y ) ) 10.0 )
916 ( >= ( + pics_content_3_title_kid_1_y ( * -1.0 pics_content_3_title_kid_0_y ) ( * -1.0 pics_content_3_title_kid_0_hight ) ) 0.0 )
917 ( >= ( + pics_content_3_title_kid_2_y ( * -1.0 pics_content_3_title_kid_1_y ) ( * -1.0 pics_content_3_title_kid_1_hight ) ) 0.0 )
918 ( >= pics_content_4_pic_x 0.0 )
919 ( >= pics_content_4_pic_y 0.0 )
920 ( >= pics_content_4_pic_width 0.0 )
921 ( >= pics_content_4_pic_hight 0.0 )
922 ( >= pics_content_4_title_x 0.0 )
923 ( >= pics_content_4_title_y 0.0 )
924 ( >= pics_content_4_title_width 0.0 )
925 pics_content_4_feasible
926 ( <= ( + pics_content_4_x ( * -1.0 pics_content_4_pic_x ) ) 0.0 )
927 ( >= ( + pics_content_4_x ( * -1.0 pics_content_4_pic_x ) ) 0.0 )
928 ( <= ( + pics_content_4_x ( * -1.0 pics_content_4_title_x ) ) 0.0 )
929 ( >= ( + pics_content_4_x ( * -1.0 pics_content_4_title_x ) ) 0.0 )
930 ( <= ( + pics_content_4_x pics_content_4_width ( * -1.0 pics_content_4_pic_width ) ( * -1.0 pics_content_4_pic_x ) ) 0.0 )
931 ( >= ( + pics_content_4_x pics_content_4_width ( * -1.0 pics_content_4_pic_width ) ( * -1.0 pics_content_4_pic_x ) ) 0.0 )
932 ( <= ( + pics_content_4_x pics_content_4_width ( * -1.0 pics_content_4_title_x ) ( * -1.0 pics_content_4_title_width ) ) 0.0 )
933 ( >= ( + pics_content_4_x pics_content_4_width ( * -1.0 pics_content_4_title_x ) ( * -1.0 pics_content_4_title_width ) ) 0.0 )
934 ( <= ( + pics_content_4_y ( * -1.0 pics_content_4_pic_y ) ) 0.0 )
935 ( >= ( + pics_content_4_y ( * -1.0 pics_content_4_pic_y ) ) 0.0 )
936 ( <= ( + pics_content_4_y pics_content_4_hight ( * -1.0 pics_content_4_title_hight ) ( * -1.0 pics_content_4_title_y ) ) 0.0 )
937 ( >= ( + pics_content_4_y pics_content_4_hight ( * -1.0 pics_content_4_title_hight ) ( * -1.0 pics_content_4_title_y ) ) 0.0 )
938 ( <= ( + pics_content_4_title_y ( * -1.0 pics_content_4_pic_hight ) ( * -1.0 pics_content_4_pic_y ) ) 0.0 )
939 ( >= ( + pics_content_4_title_y ( * -1.0 pics_content_4_pic_hight ) ( * -1.0 pics_content_4_pic_y ) ) 0.0 )
940 ( <= ( + pics_content_4_pic_hight ( * -1.0 pics_content_4_pic_width ) ) 0.0 )
941 ( >= ( + pics_content_4_pic_hight ( * -1.0 pics_content_4_pic_width ) ) 0.0 )
942 ( >= pics_content_4_title_kid_0_x 0.0 )
943 ( >= pics_content_4_title_kid_0_y 0.0 )
944 ( >= pics_content_4_title_kid_0_width 0.0 )
945 ( >= pics_content_4_title_kid_0_hight 0.0 )
946 ( >= pics_content_4_title_kid_1_x 0.0 )
947 ( >= pics_content_4_title_kid_1_y 0.0 )
948 ( >= pics_content_4_title_kid_1_width 0.0 )
949 ( >= pics_content_4_title_kid_1_hight 0.0 )
950 ( >= pics_content_4_title_kid_2_x 0.0 )
951 ( >= pics_content_4_title_kid_2_y 0.0 )
952 ( >= pics_content_4_title_kid_2_width 0.0 )
953 ( >= pics_content_4_title_kid_2_hight 0.0 )
954 pics_content_4_title_feasible
955 ( <= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_0_y ) ( * -1.0 pics_content_4_title_kid_0_hight ) ) 10.0 )
956 ( >= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_0_y ) ( * -1.0 pics_content_4_title_kid_0_hight ) ) 10.0 )
957 ( <= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_2_y ) pics_content_4_title_kid_1_hight ) -10.0 )
958 ( >= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_2_y ) pics_content_4_title_kid_1_hight ) -10.0 )
959 ( <= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_0_x ) ) -10.0 )
960 ( >= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_0_x ) ) -10.0 )
961 ( <= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_1_x ) ) -10.0 )
962 ( >= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_1_x ) ) -10.0 )
963 ( <= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_2_x ) ) -10.0 )
964 ( >= ( + pics_content_4_title_x ( * -1.0 pics_content_4_title_kid_2_x ) ) -10.0 )
965 ( <= ( + pics_content_4_title_x pics_content_4_title_width ( * -1.0 pics_content_4_title_kid_0_x ) ( * -1.0 pics_content_4_title_kid_0_width ) ) 10.0 )
966 ( >= ( + pics_content_4_title_x pics_content_4_title_width ( * -1.0 pics_content_4_title_kid_0_x ) ( * -1.0 pics_content_4_title_kid_0_width ) ) 10.0 )
967 ( <= ( + pics_content_4_title_x pics_content_4_title_width ( * -1.0 pics_content_4_title_kid_1_width ) ( * -1.0 pics_content_4_title_kid_1_x ) ) 10.0 )
968 ( >= ( + pics_content_4_title_x pics_content_4_title_width ( * -1.0 pics_content_4_title_kid_1_width ) ( * -1.0 pics_content_4_title_kid_1_x ) ) 10.0 )
969 ( <= ( + pics_content_4_title_kid_2_width ( * -1.0 pics_content_4_title_x ) ( * -1.0 pics_content_4_title_width ) pics_content_4_title_kid_2_x ) -10.0 )
970 ( >= ( + pics_content_4_title_kid_2_width ( * -1.0 pics_content_4_title_x ) ( * -1.0 pics_content_4_title_width ) pics_content_4_title_kid_2_x ) -10.0 )
971 ( <= ( + pics_content_4_title_kid_0_y ( * -1.0 pics_content_4_title_y ) ) 10.0 )
972 ( >= ( + pics_content_4_title_kid_0_y ( * -1.0 pics_content_4_title_y ) ) 10.0 )
973 ( <= ( + pics_content_4_title_kid_2_y ( * -1.0 pics_content_4_title_hight ) pics_content_4_title_kid_2_hight ( * -1.0 pics_content_4_title_y ) ) -10.0 )
974 ( >= ( + pics_content_4_title_kid_2_y ( * -1.0 pics_content_4_title_hight ) pics_content_4_title_kid_2_hight ( * -1.0 pics_content_4_title_y ) ) -10.0 )
975 ( <= pics_content_4_title_hight 200.0 )
976 ( >= pics_content_4_title_hight 200.0 )
977 ( <= ( + pics_content_4_title_kid_1_hight ( * -1.0 pics_content_4_title_kid_0_hight ) ) 0.0 )
978 ( >= ( + pics_content_4_title_kid_1_hight ( * -1.0 pics_content_4_title_kid_0_hight ) ) 0.0 )
979 ( <= ( + pics_content_4_title_kid_0_hight ( * -1.0 pics_content_4_title_kid_2_hight ) ) 0.0 )
980 ( >= ( + pics_content_4_title_kid_0_hight ( * -1.0 pics_content_4_title_kid_2_hight ) ) 0.0 )
981 ( <= ( + pics_content_4_title_kid_0_y pics_content_4_title_kid_0_hight ( * -1.0 pics_content_4_title_hight ) ( * -1.0 pics_content_4_title_y ) ) -10.0 )
982 ( >= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_y ) ) 10.0 )
983 ( <= ( + pics_content_4_title_kid_1_y pics_content_4_title_kid_1_hight ( * -1.0 pics_content_4_title_hight ) ( * -1.0 pics_content_4_title_y ) ) -10.0 )
984 ( >= ( + pics_content_4_title_kid_2_y ( * -1.0 pics_content_4_title_y ) ) 10.0 )
985 ( >= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_0_y ) ( * -1.0 pics_content_4_title_kid_0_hight ) ) 0.0 )
986 ( <= ( + pics_content_4_title_kid_1_y ( * -1.0 pics_content_4_title_kid_2_y ) pics_content_4_title_kid_1_hight ) 0.0 )
987 ( >= pics_content_5_pic_x 0.0 )
988 ( >= pics_content_5_pic_y 0.0 )
989 ( >= pics_content_5_pic_width 0.0 )
990 ( >= pics_content_5_pic_hight 0.0 )
991 ( >= pics_content_5_title_x 0.0 )
992 ( >= pics_content_5_title_y 0.0 )
993 ( >= pics_content_5_title_width 0.0 )
994 pics_content_5_feasible
995 ( <= ( + pics_content_5_x ( * -1.0 pics_content_5_pic_x ) ) 0.0 )
996 ( >= ( + pics_content_5_x ( * -1.0 pics_content_5_pic_x ) ) 0.0 )
997 ( <= ( + pics_content_5_x ( * -1.0 pics_content_5_title_x ) ) 0.0 )
998 ( >= ( + pics_content_5_x ( * -1.0 pics_content_5_title_x ) ) 0.0 )
999 ( <= ( + pics_content_5_width pics_content_5_x ( * -1.0 pics_content_5_pic_width ) ( * -1.0 pics_content_5_pic_x ) ) 0.0 )
1000 ( >= ( + pics_content_5_width pics_content_5_x ( * -1.0 pics_content_5_pic_width ) ( * -1.0 pics_content_5_pic_x ) ) 0.0 )
1001 ( <= ( + pics_content_5_width pics_content_5_x ( * -1.0 pics_content_5_title_x ) ( * -1.0 pics_content_5_title_width ) ) 0.0 )
1002 ( >= ( + pics_content_5_width pics_content_5_x ( * -1.0 pics_content_5_title_x ) ( * -1.0 pics_content_5_title_width ) ) 0.0 )
1003 ( <= ( + pics_content_5_y ( * -1.0 pics_content_5_pic_y ) ) 0.0 )
1004 ( >= ( + pics_content_5_y ( * -1.0 pics_content_5_pic_y ) ) 0.0 )
1005 ( <= ( + pics_content_5_y pics_content_5_hight ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) ) 0.0 )
1006 ( >= ( + pics_content_5_y pics_content_5_hight ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) ) 0.0 )
1007 ( <= ( + pics_content_5_title_y ( * -1.0 pics_content_5_pic_hight ) ( * -1.0 pics_content_5_pic_y ) ) 0.0 )
1008 ( >= ( + pics_content_5_title_y ( * -1.0 pics_content_5_pic_hight ) ( * -1.0 pics_content_5_pic_y ) ) 0.0 )
1009 ( <= ( + pics_content_5_pic_hight ( * -1.0 pics_content_5_pic_width ) ) 0.0 )
1010 ( >= ( + pics_content_5_pic_hight ( * -1.0 pics_content_5_pic_width ) ) 0.0 )
1011 ( >= pics_content_5_title_kid_0_x 0.0 )
1012 ( >= pics_content_5_title_kid_0_y 0.0 )
1013 ( >= pics_content_5_title_kid_0_width 0.0 )
1014 ( >= pics_content_5_title_kid_0_hight 0.0 )
1015 ( >= pics_content_5_title_kid_1_x 0.0 )
1016 ( >= pics_content_5_title_kid_1_y 0.0 )
1017 ( >= pics_content_5_title_kid_1_width 0.0 )
1018 ( >= pics_content_5_title_kid_1_hight 0.0 )
1019 ( >= pics_content_5_title_kid_2_x 0.0 )
1020 ( >= pics_content_5_title_kid_2_y 0.0 )
1021 ( >= pics_content_5_title_kid_2_width 0.0 )
1022 ( >= pics_content_5_title_kid_2_hight 0.0 )
1023 pics_content_5_title_feasible
1024 ( <= ( + pics_content_5_title_kid_1_y ( * -1.0 pics_content_5_title_kid_0_hight ) ( * -1.0 pics_content_5_title_kid_0_y ) ) 10.0 )
1025 ( >= ( + pics_content_5_title_kid_1_y ( * -1.0 pics_content_5_title_kid_0_hight ) ( * -1.0 pics_content_5_title_kid_0_y ) ) 10.0 )
1026 ( <= ( + pics_content_5_title_kid_1_hight ( * -1.0 pics_content_5_title_kid_2_y ) pics_content_5_title_kid_1_y ) -10.0 )
1027 ( >= ( + pics_content_5_title_kid_1_hight ( * -1.0 pics_content_5_title_kid_2_y ) pics_content_5_title_kid_1_y ) -10.0 )
1028 ( <= ( + pics_content_5_title_x ( * -1.0 pics_content_5_title_kid_0_x ) ) -10.0 )
1029 ( >= ( + pics_content_5_title_x ( * -1.0 pics_content_5_title_kid_0_x ) ) -10.0 )
1030 ( <= ( + pics_content_5_title_x ( * -1.0 pics_content_5_title_kid_1_x ) ) -10.0 )
1031 ( >= ( + pics_content_5_title_x ( * -1.0 pics_content_5_title_kid_1_x ) ) -10.0 )
1032 ( <= ( + pics_content_5_title_kid_2_x ( * -1.0 pics_content_5_title_x ) ) 10.0 )
1033 ( >= ( + pics_content_5_title_kid_2_x ( * -1.0 pics_content_5_title_x ) ) 10.0 )
1034 ( <= ( + pics_content_5_title_x pics_content_5_title_width ( * -1.0 pics_content_5_title_kid_0_x ) ( * -1.0 pics_content_5_title_kid_0_width ) ) 10.0 )
1035 ( >= ( + pics_content_5_title_x pics_content_5_title_width ( * -1.0 pics_content_5_title_kid_0_x ) ( * -1.0 pics_content_5_title_kid_0_width ) ) 10.0 )
1036 ( <= ( + pics_content_5_title_x pics_content_5_title_width ( * -1.0 pics_content_5_title_kid_1_x ) ( * -1.0 pics_content_5_title_kid_1_width ) ) 10.0 )
1037 ( >= ( + pics_content_5_title_x pics_content_5_title_width ( * -1.0 pics_content_5_title_kid_1_x ) ( * -1.0 pics_content_5_title_kid_1_width ) ) 10.0 )
1038 ( <= ( + pics_content_5_title_kid_2_x pics_content_5_title_kid_2_width ( * -1.0 pics_content_5_title_x ) ( * -1.0 pics_content_5_title_width ) ) -10.0 )
1039 ( >= ( + pics_content_5_title_kid_2_x pics_content_5_title_kid_2_width ( * -1.0 pics_content_5_title_x ) ( * -1.0 pics_content_5_title_width ) ) -10.0 )
1040 ( <= ( + pics_content_5_title_kid_0_y ( * -1.0 pics_content_5_title_y ) ) 10.0 )
1041 ( >= ( + pics_content_5_title_kid_0_y ( * -1.0 pics_content_5_title_y ) ) 10.0 )
1042 ( <= ( + pics_content_5_title_kid_2_y ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) pics_content_5_title_kid_2_hight ) -10.0 )
1043 ( >= ( + pics_content_5_title_kid_2_y ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) pics_content_5_title_kid_2_hight ) -10.0 )
1044 ( <= pics_content_5_title_hight 200.0 )
1045 ( >= pics_content_5_title_hight 200.0 )
1046 ( <= ( + pics_content_5_title_kid_1_hight ( * -1.0 pics_content_5_title_kid_0_hight ) ) 0.0 )
1047 ( >= ( + pics_content_5_title_kid_1_hight ( * -1.0 pics_content_5_title_kid_0_hight ) ) 0.0 )
1048 ( <= ( + pics_content_5_title_kid_0_hight ( * -1.0 pics_content_5_title_kid_2_hight ) ) 0.0 )
1049 ( >= ( + pics_content_5_title_kid_0_hight ( * -1.0 pics_content_5_title_kid_2_hight ) ) 0.0 )
1050 ( <= ( + pics_content_5_title_kid_0_hight pics_content_5_title_kid_0_y ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) ) -10.0 )
1051 ( >= ( + pics_content_5_title_kid_1_y ( * -1.0 pics_content_5_title_y ) ) 10.0 )
1052 ( <= ( + pics_content_5_title_kid_1_hight pics_content_5_title_kid_1_y ( * -1.0 pics_content_5_title_y ) ( * -1.0 pics_content_5_title_hight ) ) -10.0 )
1053 ( >= ( + pics_content_5_title_kid_2_y ( * -1.0 pics_content_5_title_y ) ) 10.0 )
1054 ( >= ( + pics_content_5_title_kid_1_y ( * -1.0 pics_content_5_title_kid_0_hight ) ( * -1.0 pics_content_5_title_kid_0_y ) ) 0.0 )
1055 ( <= ( + pics_content_5_title_kid_1_hight ( * -1.0 pics_content_5_title_kid_2_y ) pics_content_5_title_kid_1_y ) 0.0 )
1056 ( >= pics_content_6_pic_x 0.0 )
1057 ( >= pics_content_6_pic_y 0.0 )
1058 ( >= pics_content_6_pic_width 0.0 )
1059 ( >= pics_content_6_pic_hight 0.0 )
1060 ( >= pics_content_6_title_x 0.0 )
1061 ( >= pics_content_6_title_y 0.0 )
1062 ( >= pics_content_6_title_width 0.0 )
1063 pics_content_6_feasible
1064 ( <= ( + pics_content_6_x ( * -1.0 pics_content_6_pic_x ) ) 0.0 )
1065 ( >= ( + pics_content_6_x ( * -1.0 pics_content_6_pic_x ) ) 0.0 )
1066 ( <= ( + pics_content_6_x ( * -1.0 pics_content_6_title_x ) ) 0.0 )
1067 ( >= ( + pics_content_6_x ( * -1.0 pics_content_6_title_x ) ) 0.0 )
1068 ( <= ( + pics_content_6_x pics_content_6_width ( * -1.0 pics_content_6_pic_width ) ( * -1.0 pics_content_6_pic_x ) ) 0.0 )
1069 ( >= ( + pics_content_6_x pics_content_6_width ( * -1.0 pics_content_6_pic_width ) ( * -1.0 pics_content_6_pic_x ) ) 0.0 )
1070 ( <= ( + pics_content_6_x pics_content_6_width ( * -1.0 pics_content_6_title_width ) ( * -1.0 pics_content_6_title_x ) ) 0.0 )
1071 ( >= ( + pics_content_6_x pics_content_6_width ( * -1.0 pics_content_6_title_width ) ( * -1.0 pics_content_6_title_x ) ) 0.0 )
1072 ( <= ( + pics_content_6_y ( * -1.0 pics_content_6_pic_y ) ) 0.0 )
1073 ( >= ( + pics_content_6_y ( * -1.0 pics_content_6_pic_y ) ) 0.0 )
1074 ( <= ( + pics_content_6_y pics_content_6_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) 0.0 )
1075 ( >= ( + pics_content_6_y pics_content_6_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) 0.0 )
1076 ( <= ( + pics_content_6_title_y ( * -1.0 pics_content_6_pic_hight ) ( * -1.0 pics_content_6_pic_y ) ) 0.0 )
1077 ( >= ( + pics_content_6_title_y ( * -1.0 pics_content_6_pic_hight ) ( * -1.0 pics_content_6_pic_y ) ) 0.0 )
1078 ( <= ( + pics_content_6_pic_width ( * -1.0 pics_content_6_pic_hight ) ) 0.0 )
1079 ( >= ( + pics_content_6_pic_width ( * -1.0 pics_content_6_pic_hight ) ) 0.0 )
1080 ( >= pics_content_6_title_kid_0_x 0.0 )
1081 ( >= pics_content_6_title_kid_0_y 0.0 )
1082 ( >= pics_content_6_title_kid_0_width 0.0 )
1083 ( >= pics_content_6_title_kid_0_hight 0.0 )
1084 ( >= pics_content_6_title_kid_1_x 0.0 )
1085 ( >= pics_content_6_title_kid_1_y 0.0 )
1086 ( >= pics_content_6_title_kid_1_width 0.0 )
1087 ( >= pics_content_6_title_kid_1_hight 0.0 )
1088 ( >= pics_content_6_title_kid_2_x 0.0 )
1089 ( >= pics_content_6_title_kid_2_y 0.0 )
1090 ( >= pics_content_6_title_kid_2_width 0.0 )
1091 ( >= pics_content_6_title_kid_2_hight 0.0 )
1092 pics_content_6_title_feasible
1093 ( <= ( + pics_content_6_title_kid_1_y ( * -1.0 pics_content_6_title_kid_0_y ) ( * -1.0 pics_content_6_title_kid_0_hight ) ) 10.0 )
1094 ( >= ( + pics_content_6_title_kid_1_y ( * -1.0 pics_content_6_title_kid_0_y ) ( * -1.0 pics_content_6_title_kid_0_hight ) ) 10.0 )
1095 ( <= ( + pics_content_6_title_kid_1_y pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_kid_2_y ) ) -10.0 )
1096 ( >= ( + pics_content_6_title_kid_1_y pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_kid_2_y ) ) -10.0 )
1097 ( <= ( + pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_0_x ) ) -10.0 )
1098 ( >= ( + pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_0_x ) ) -10.0 )
1099 ( <= ( + pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_1_x ) ) -10.0 )
1100 ( >= ( + pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_1_x ) ) -10.0 )
1101 ( <= ( + pics_content_6_title_kid_2_x ( * -1.0 pics_content_6_title_x ) ) 10.0 )
1102 ( >= ( + pics_content_6_title_kid_2_x ( * -1.0 pics_content_6_title_x ) ) 10.0 )
1103 ( <= ( + pics_content_6_title_width pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_0_x ) ( * -1.0 pics_content_6_title_kid_0_width ) ) 10.0 )
1104 ( >= ( + pics_content_6_title_width pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_0_x ) ( * -1.0 pics_content_6_title_kid_0_width ) ) 10.0 )
1105 ( <= ( + pics_content_6_title_width pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_1_x ) ( * -1.0 pics_content_6_title_kid_1_width ) ) 10.0 )
1106 ( >= ( + pics_content_6_title_width pics_content_6_title_x ( * -1.0 pics_content_6_title_kid_1_x ) ( * -1.0 pics_content_6_title_kid_1_width ) ) 10.0 )
1107 ( <= ( + pics_content_6_title_width ( * -1.0 pics_content_6_title_kid_2_x ) ( * -1.0 pics_content_6_title_kid_2_width ) pics_content_6_title_x ) 10.0 )
1108 ( >= ( + pics_content_6_title_width ( * -1.0 pics_content_6_title_kid_2_x ) ( * -1.0 pics_content_6_title_kid_2_width ) pics_content_6_title_x ) 10.0 )
1109 ( <= ( + pics_content_6_title_kid_0_y ( * -1.0 pics_content_6_title_y ) ) 10.0 )
1110 ( >= ( + pics_content_6_title_kid_0_y ( * -1.0 pics_content_6_title_y ) ) 10.0 )
1111 ( <= ( + pics_content_6_title_kid_2_y pics_content_6_title_kid_2_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) -10.0 )
1112 ( >= ( + pics_content_6_title_kid_2_y pics_content_6_title_kid_2_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) -10.0 )
1113 ( <= pics_content_6_title_hight 200.0 )
1114 ( >= pics_content_6_title_hight 200.0 )
1115 ( <= ( + pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_kid_0_hight ) ) 0.0 )
1116 ( >= ( + pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_kid_0_hight ) ) 0.0 )
1117 ( <= ( + pics_content_6_title_kid_0_hight ( * -1.0 pics_content_6_title_kid_2_hight ) ) 0.0 )
1118 ( >= ( + pics_content_6_title_kid_0_hight ( * -1.0 pics_content_6_title_kid_2_hight ) ) 0.0 )
1119 ( <= ( + pics_content_6_title_kid_0_y pics_content_6_title_kid_0_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) -10.0 )
1120 ( >= ( + pics_content_6_title_kid_1_y ( * -1.0 pics_content_6_title_y ) ) 10.0 )
1121 ( <= ( + pics_content_6_title_kid_1_y pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_y ) ( * -1.0 pics_content_6_title_hight ) ) -10.0 )
1122 ( >= ( + pics_content_6_title_kid_2_y ( * -1.0 pics_content_6_title_y ) ) 10.0 )
1123 ( >= ( + pics_content_6_title_kid_1_y ( * -1.0 pics_content_6_title_kid_0_y ) ( * -1.0 pics_content_6_title_kid_0_hight ) ) 0.0 )
1124 ( <= ( + pics_content_6_title_kid_1_y pics_content_6_title_kid_1_hight ( * -1.0 pics_content_6_title_kid_2_y ) ) 0.0 )
1125 ( >= pics_content_7_pic_x 0.0 )
1126 ( >= pics_content_7_pic_y 0.0 )
1127 ( >= pics_content_7_pic_width 0.0 )
1128 ( >= pics_content_7_pic_hight 0.0 )
1129 ( >= pics_content_7_title_x 0.0 )
1130 ( >= pics_content_7_title_y 0.0 )
1131 ( >= pics_content_7_title_width 0.0 )
1132 pics_content_7_feasible
1133 ( <= ( + pics_content_7_x ( * -1.0 pics_content_7_pic_x ) ) 0.0 )
1134 ( >= ( + pics_content_7_x ( * -1.0 pics_content_7_pic_x ) ) 0.0 )
1135 ( <= ( + pics_content_7_x ( * -1.0 pics_content_7_title_x ) ) 0.0 )
1136 ( >= ( + pics_content_7_x ( * -1.0 pics_content_7_title_x ) ) 0.0 )
1137 ( <= ( + pics_content_7_x pics_content_7_width ( * -1.0 pics_content_7_pic_width ) ( * -1.0 pics_content_7_pic_x ) ) 0.0 )
1138 ( >= ( + pics_content_7_x pics_content_7_width ( * -1.0 pics_content_7_pic_width ) ( * -1.0 pics_content_7_pic_x ) ) 0.0 )
1139 ( <= ( + pics_content_7_x pics_content_7_width ( * -1.0 pics_content_7_title_width ) ( * -1.0 pics_content_7_title_x ) ) 0.0 )
1140 ( >= ( + pics_content_7_x pics_content_7_width ( * -1.0 pics_content_7_title_width ) ( * -1.0 pics_content_7_title_x ) ) 0.0 )
1141 ( <= ( + pics_content_7_y ( * -1.0 pics_content_7_pic_y ) ) 0.0 )
1142 ( >= ( + pics_content_7_y ( * -1.0 pics_content_7_pic_y ) ) 0.0 )
1143 ( <= ( + pics_content_7_y pics_content_7_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) 0.0 )
1144 ( >= ( + pics_content_7_y pics_content_7_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) 0.0 )
1145 ( <= ( + pics_content_7_title_y ( * -1.0 pics_content_7_pic_hight ) ( * -1.0 pics_content_7_pic_y ) ) 0.0 )
1146 ( >= ( + pics_content_7_title_y ( * -1.0 pics_content_7_pic_hight ) ( * -1.0 pics_content_7_pic_y ) ) 0.0 )
1147 ( <= ( + pics_content_7_pic_hight ( * -1.0 pics_content_7_pic_width ) ) 0.0 )
1148 ( >= ( + pics_content_7_pic_hight ( * -1.0 pics_content_7_pic_width ) ) 0.0 )
1149 ( >= pics_content_7_title_kid_0_x 0.0 )
1150 ( >= pics_content_7_title_kid_0_y 0.0 )
1151 ( >= pics_content_7_title_kid_0_width 0.0 )
1152 ( >= pics_content_7_title_kid_0_hight 0.0 )
1153 ( >= pics_content_7_title_kid_1_x 0.0 )
1154 ( >= pics_content_7_title_kid_1_y 0.0 )
1155 ( >= pics_content_7_title_kid_1_width 0.0 )
1156 ( >= pics_content_7_title_kid_1_hight 0.0 )
1157 ( >= pics_content_7_title_kid_2_x 0.0 )
1158 ( >= pics_content_7_title_kid_2_y 0.0 )
1159 ( >= pics_content_7_title_kid_2_width 0.0 )
1160 ( >= pics_content_7_title_kid_2_hight 0.0 )
1161 pics_content_7_title_feasible
1162 ( <= ( + pics_content_7_title_kid_1_y ( * -1.0 pics_content_7_title_kid_0_y ) ( * -1.0 pics_content_7_title_kid_0_hight ) ) 10.0 )
1163 ( >= ( + pics_content_7_title_kid_1_y ( * -1.0 pics_content_7_title_kid_0_y ) ( * -1.0 pics_content_7_title_kid_0_hight ) ) 10.0 )
1164 ( <= ( + pics_content_7_title_kid_2_y ( * -1.0 pics_content_7_title_kid_1_y ) ( * -1.0 pics_content_7_title_kid_1_hight ) ) 10.0 )
1165 ( >= ( + pics_content_7_title_kid_2_y ( * -1.0 pics_content_7_title_kid_1_y ) ( * -1.0 pics_content_7_title_kid_1_hight ) ) 10.0 )
1166 ( <= ( + pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_0_x ) ) -10.0 )
1167 ( >= ( + pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_0_x ) ) -10.0 )
1168 ( <= ( + pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_1_x ) ) -10.0 )
1169 ( >= ( + pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_1_x ) ) -10.0 )
1170 ( <= ( + pics_content_7_title_kid_2_x ( * -1.0 pics_content_7_title_x ) ) 10.0 )
1171 ( >= ( + pics_content_7_title_kid_2_x ( * -1.0 pics_content_7_title_x ) ) 10.0 )
1172 ( <= ( + pics_content_7_title_width pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_0_width ) ( * -1.0 pics_content_7_title_kid_0_x ) ) 10.0 )
1173 ( >= ( + pics_content_7_title_width pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_0_width ) ( * -1.0 pics_content_7_title_kid_0_x ) ) 10.0 )
1174 ( <= ( + pics_content_7_title_width pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_1_width ) ( * -1.0 pics_content_7_title_kid_1_x ) ) 10.0 )
1175 ( >= ( + pics_content_7_title_width pics_content_7_title_x ( * -1.0 pics_content_7_title_kid_1_width ) ( * -1.0 pics_content_7_title_kid_1_x ) ) 10.0 )
1176 ( <= ( + pics_content_7_title_width ( * -1.0 pics_content_7_title_kid_2_x ) ( * -1.0 pics_content_7_title_kid_2_width ) pics_content_7_title_x ) 10.0 )
1177 ( >= ( + pics_content_7_title_width ( * -1.0 pics_content_7_title_kid_2_x ) ( * -1.0 pics_content_7_title_kid_2_width ) pics_content_7_title_x ) 10.0 )
1178 ( <= ( + pics_content_7_title_kid_0_y ( * -1.0 pics_content_7_title_y ) ) 10.0 )
1179 ( >= ( + pics_content_7_title_kid_0_y ( * -1.0 pics_content_7_title_y ) ) 10.0 )
1180 ( <= ( + pics_content_7_title_kid_2_y pics_content_7_title_kid_2_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) -10.0 )
1181 ( >= ( + pics_content_7_title_kid_2_y pics_content_7_title_kid_2_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) -10.0 )
1182 ( <= pics_content_7_title_hight 200.0 )
1183 ( >= pics_content_7_title_hight 200.0 )
1184 ( <= ( + pics_content_7_title_kid_1_hight ( * -1.0 pics_content_7_title_kid_0_hight ) ) 0.0 )
1185 ( >= ( + pics_content_7_title_kid_1_hight ( * -1.0 pics_content_7_title_kid_0_hight ) ) 0.0 )
1186 ( <= ( + pics_content_7_title_kid_0_hight ( * -1.0 pics_content_7_title_kid_2_hight ) ) 0.0 )
1187 ( >= ( + pics_content_7_title_kid_0_hight ( * -1.0 pics_content_7_title_kid_2_hight ) ) 0.0 )
1188 ( <= ( + pics_content_7_title_kid_0_y pics_content_7_title_kid_0_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) -10.0 )
1189 ( >= ( + pics_content_7_title_kid_1_y ( * -1.0 pics_content_7_title_y ) ) 10.0 )
1190 ( <= ( + pics_content_7_title_kid_1_y pics_content_7_title_kid_1_hight ( * -1.0 pics_content_7_title_y ) ( * -1.0 pics_content_7_title_hight ) ) -10.0 )
1191 ( >= ( + pics_content_7_title_kid_2_y ( * -1.0 pics_content_7_title_y ) ) 10.0 )
1192 ( >= ( + pics_content_7_title_kid_1_y ( * -1.0 pics_content_7_title_kid_0_y ) ( * -1.0 pics_content_7_title_kid_0_hight ) ) 0.0 )
1193 ( >= ( + pics_content_7_title_kid_2_y ( * -1.0 pics_content_7_title_kid_1_y ) ( * -1.0 pics_content_7_title_kid_1_hight ) ) 0.0 )
1194 ( <= ( + main_pic_2_x ( * -1.0 pics_content_0_x ) ) -10.0 )
1195 ( >= ( + main_pic_2_x ( * -1.0 pics_content_0_x ) ) -10.0 )
1196 ( <= ( + main_pic_2_x ( * -1.0 pics_content_1_x ) ) -10.0 )
1197 ( >= ( + main_pic_2_x ( * -1.0 pics_content_1_x ) ) -10.0 )
1198 ( <= ( + main_pic_2_x ( * -1.0 pics_content_2_x ) ) -10.0 )
1199 ( >= ( + main_pic_2_x ( * -1.0 pics_content_2_x ) ) -10.0 )
1200 ( <= ( + main_pic_2_x ( * -1.0 pics_content_3_x ) ) -10.0 )
1201 ( >= ( + main_pic_2_x ( * -1.0 pics_content_3_x ) ) -10.0 )
1202 ( <= ( + main_pic_2_x ( * -1.0 pics_content_4_x ) ) -10.0 )
1203 ( >= ( + main_pic_2_x ( * -1.0 pics_content_4_x ) ) -10.0 )
1204 ( <= ( + main_pic_2_x ( * -1.0 pics_content_5_x ) ) -10.0 )
1205 ( >= ( + main_pic_2_x ( * -1.0 pics_content_5_x ) ) -10.0 )
1206 ( <= ( + main_pic_2_x ( * -1.0 pics_content_6_x ) ) -10.0 )
1207 ( >= ( + main_pic_2_x ( * -1.0 pics_content_6_x ) ) -10.0 )
1208 ( <= ( + main_pic_2_x ( * -1.0 pics_content_7_x ) ) -10.0 )
1209 ( >= ( + main_pic_2_x ( * -1.0 pics_content_7_x ) ) -10.0 )
1210 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) ) 10.0 )
1211 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_0_x ) ( * -1.0 pics_content_0_width ) ) 10.0 )
1212 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_1_x ) ( * -1.0 pics_content_1_width ) ) 10.0 )
1213 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_1_x ) ( * -1.0 pics_content_1_width ) ) 10.0 )
1214 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_2_x ) ( * -1.0 pics_content_2_width ) ) 10.0 )
1215 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_2_x ) ( * -1.0 pics_content_2_width ) ) 10.0 )
1216 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_3_width ) ( * -1.0 pics_content_3_x ) ) 10.0 )
1217 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_3_width ) ( * -1.0 pics_content_3_x ) ) 10.0 )
1218 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_4_x ) ( * -1.0 pics_content_4_width ) ) 10.0 )
1219 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_4_x ) ( * -1.0 pics_content_4_width ) ) 10.0 )
1220 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_5_width ) ( * -1.0 pics_content_5_x ) ) 10.0 )
1221 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_5_width ) ( * -1.0 pics_content_5_x ) ) 10.0 )
1222 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_6_x ) ( * -1.0 pics_content_6_width ) ) 10.0 )
1223 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_6_x ) ( * -1.0 pics_content_6_width ) ) 10.0 )
1224 ( <= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_7_x ) ( * -1.0 pics_content_7_width ) ) 10.0 )
1225 ( >= ( + main_pic_2_x main_pic_2_width ( * -1.0 pics_content_7_x ) ( * -1.0 pics_content_7_width ) ) 10.0 )
1226 ( <= ( + pics_content_0_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1227 ( >= ( + pics_content_0_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1228 ( <= ( + pics_content_7_y pics_content_7_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1229 ( >= ( + pics_content_7_y pics_content_7_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1230 ( <= ( + pics_content_1_y ( * -1.0 pics_content_0_y ) ( * -1.0 pics_content_0_hight ) ) 10.0 )
1231 ( >= ( + pics_content_1_y ( * -1.0 pics_content_0_y ) ( * -1.0 pics_content_0_hight ) ) 10.0 )
1232 ( <= ( + pics_content_2_y ( * -1.0 pics_content_1_y ) ( * -1.0 pics_content_1_hight ) ) 10.0 )
1233 ( >= ( + pics_content_2_y ( * -1.0 pics_content_1_y ) ( * -1.0 pics_content_1_hight ) ) 10.0 )
1234 ( <= ( + pics_content_3_y ( * -1.0 pics_content_2_hight ) ( * -1.0 pics_content_2_y ) ) 10.0 )
1235 ( >= ( + pics_content_3_y ( * -1.0 pics_content_2_hight ) ( * -1.0 pics_content_2_y ) ) 10.0 )
1236 ( <= ( + pics_content_4_y ( * -1.0 pics_content_3_hight ) ( * -1.0 pics_content_3_y ) ) 10.0 )
1237 ( >= ( + pics_content_4_y ( * -1.0 pics_content_3_hight ) ( * -1.0 pics_content_3_y ) ) 10.0 )
1238 ( <= ( + pics_content_5_y ( * -1.0 pics_content_4_y ) ( * -1.0 pics_content_4_hight ) ) 10.0 )
1239 ( >= ( + pics_content_5_y ( * -1.0 pics_content_4_y ) ( * -1.0 pics_content_4_hight ) ) 10.0 )
1240 ( <= ( + pics_content_6_y ( * -1.0 pics_content_5_y ) ( * -1.0 pics_content_5_hight ) ) 10.0 )
1241 ( >= ( + pics_content_6_y ( * -1.0 pics_content_5_y ) ( * -1.0 pics_content_5_hight ) ) 10.0 )
1242 ( <= ( + pics_content_6_y ( * -1.0 pics_content_7_y ) pics_content_6_hight ) -10.0 )
1243 ( >= ( + pics_content_6_y ( * -1.0 pics_content_7_y ) pics_content_6_hight ) -10.0 )
1244 ( <= ( + pics_content_0_y pics_content_0_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1245 ( >= ( + pics_content_1_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1246 ( <= ( + pics_content_1_y pics_content_1_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1247 ( >= ( + pics_content_2_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1248 ( <= ( + pics_content_2_hight pics_content_2_y ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1249 ( >= ( + pics_content_3_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1250 ( <= ( + pics_content_3_hight pics_content_3_y ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1251 ( >= ( + pics_content_4_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1252 ( <= ( + pics_content_4_y pics_content_4_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1253 ( >= ( + pics_content_5_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1254 ( <= ( + pics_content_5_y pics_content_5_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1255 ( >= ( + pics_content_6_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1256 ( <= ( + pics_content_6_y pics_content_6_hight ( * -1.0 main_pic_2_y ) ( * -1.0 main_pic_2_hight ) ) -10.0 )
1257 ( >= ( + pics_content_7_y ( * -1.0 main_pic_2_y ) ) 10.0 )
1258 ( >= ( + pics_content_1_y ( * -1.0 pics_content_0_y ) ( * -1.0 pics_content_0_hight ) ) 0.0 )
1259 ( >= ( + pics_content_2_y ( * -1.0 pics_content_1_y ) ( * -1.0 pics_content_1_hight ) ) 0.0 )
1260 ( >= ( + pics_content_3_y ( * -1.0 pics_content_2_hight ) ( * -1.0 pics_content_2_y ) ) 0.0 )
1261 ( >= ( + pics_content_4_y ( * -1.0 pics_content_3_hight ) ( * -1.0 pics_content_3_y ) ) 0.0 )
1262 ( >= ( + pics_content_5_y ( * -1.0 pics_content_4_y ) ( * -1.0 pics_content_4_hight ) ) 0.0 )
1263 ( >= ( + pics_content_6_y ( * -1.0 pics_content_5_y ) ( * -1.0 pics_content_5_hight ) ) 0.0 )
1264 ( <= ( + pics_content_6_y ( * -1.0 pics_content_7_y ) pics_content_6_hight ) 0.0 )
1265 ( <= ( + pics_content_0_pic_hight ( * -1.0 pics_content_0_pic_width ) ) 0.0 )
1266 ( >= ( + pics_content_0_pic_hight ( * -1.0 pics_content_0_pic_width ) ) 0.0 )
1267 ( <= read_more_width 100.0 )
1268 ( >= read_more_width 100.0 )
1269 ( <= read_more_hight 50.0 )
1270 ( >= read_more_hight 50.0 )
1271 ( <= ( + back_ground_width ( * -2.0 read_more_x ) ) 100.0 )
1272 ( >= ( + back_ground_width ( * -2.0 read_more_x ) ) 100.0 )
1273 ( >= mt_bottom_0_x 0.0 )
1274 ( >= mt_bottom_0_y 0.0 )
1275 ( >= mt_bottom_0_width 0.0 )
1276 ( >= mt_bottom_1_x 0.0 )
1277 ( >= mt_bottom_1_y 0.0 )
1278 ( >= mt_bottom_1_width 0.0 )
1279 ( >= mt_bottom_1_hight 0.0 )
1280 mt_bottom_0_feasible
1281 ( <= ( + mt_bottom_0_x ( * -1.0 bottom_holder_x ) ) 0.0 )
1282 ( >= ( + mt_bottom_0_x ( * -1.0 bottom_holder_x ) ) 0.0 )
1283 ( <= ( + mt_bottom_0_x mt_bottom_0_width ( * -1.0 bottom_holder_width ) ( * -1.0 bottom_holder_x ) ) 0.0 )
1284 ( >= ( + mt_bottom_0_x mt_bottom_0_width ( * -1.0 bottom_holder_width ) ( * -1.0 bottom_holder_x ) ) 0.0 )
1285 ( <= ( + mt_bottom_0_y ( * -1.0 bottom_holder_y ) ) 0.0 )
1286 ( >= ( + mt_bottom_0_y ( * -1.0 bottom_holder_y ) ) 0.0 )
1287 ( <= ( + mt_bottom_0_y ( * -1.0 bottom_holder_y ) ( * -1.0 bottom_holder_hight ) ) -200.0 )
1288 ( >= ( + mt_bottom_0_y ( * -1.0 bottom_holder_y ) ( * -1.0 bottom_holder_hight ) ) -200.0 )
1289 mt_bottom_1_feasible
1290 ( <= ( + mt_bottom_1_x ( * -1.0 bottom_holder_x ) ) 0.0 )
1291 ( >= ( + mt_bottom_1_x ( * -1.0 bottom_holder_x ) ) 0.0 )
1292 ( <= ( + mt_bottom_1_x mt_bottom_1_width ( * -1.0 bottom_holder_width ) ( * -1.0 bottom_holder_x ) ) 0.0 )
1293 ( >= ( + mt_bottom_1_x mt_bottom_1_width ( * -1.0 bottom_holder_width ) ( * -1.0 bottom_holder_x ) ) 0.0 )
1294 ( <= ( + mt_bottom_1_y ( * -1.0 bottom_holder_y ) ) 0.0 )
1295 ( >= ( + mt_bottom_1_y ( * -1.0 bottom_holder_y ) ) 0.0 )
1296 ( <= ( + mt_bottom_1_hight mt_bottom_1_y ( * -1.0 bottom_holder_y ) ( * -1.0 bottom_holder_hight ) ) 0.0 )
1297 ( >= ( + mt_bottom_1_hight mt_bottom_1_y ( * -1.0 bottom_holder_y ) ( * -1.0 bottom_holder_hight ) ) 0.0 )
1298 ( <= ( + bottom_holder_x ( * -1.0 main_body_x ) ) 0.0 )
1299 ( >= ( + bottom_holder_x ( * -1.0 main_body_x ) ) 0.0 )
1300 ( <= ( + main_body_width ( * -1.0 bottom_holder_width ) ) 0.0 )
1301 ( >= ( + main_body_width ( * -1.0 bottom_holder_width ) ) 0.0 )
1302 ( >= mt_icons_x 0.0 )
1303 ( >= mt_icons_y 0.0 )
1304 ( >= mt_lists_x 0.0 )
1305 ( >= mt_lists_y 0.0 )
1306 ( >= mt_lists_hight 0.0 )
1307 ( <= mt_bottom_0_hight 200.0 )
1308 ( >= mt_bottom_0_hight 200.0 )
1309 ( <= ( + mt_icons_x ( * -1.0 mt_bottom_0_x ) ) 20.0 )
1310 ( >= ( + mt_icons_x ( * -1.0 mt_bottom_0_x ) ) 20.0 )
1311 ( <= ( + mt_lists_x ( * -1.0 mt_bottom_0_x ) ( * -1.0 mt_bottom_0_width ) ) -820.0 )
1312 ( >= ( + mt_lists_x ( * -1.0 mt_bottom_0_x ) ( * -1.0 mt_bottom_0_width ) ) -820.0 )
1313 ( <= ( + mt_icons_y ( * -1.0 mt_bottom_0_y ) ) 20.0 )
1314 ( >= ( + mt_icons_y ( * -1.0 mt_bottom_0_y ) ) 20.0 )
1315 ( <= ( + mt_lists_y ( * -1.0 mt_bottom_0_y ) ) 20.0 )
1316 ( >= ( + mt_lists_y ( * -1.0 mt_bottom_0_y ) ) 20.0 )
1317 ( <= ( + mt_icons_x ( * -1.0 mt_bottom_0_x ) ( * -1.0 mt_bottom_0_width ) ) -120.0 )
1318 ( <= ( + mt_icons_y ( * -1.0 mt_bottom_0_y ) ) 130.0 )
1319 ( >= ( + mt_lists_x ( * -1.0 mt_bottom_0_x ) ) 20.0 )
1320 ( <= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_bottom_0_y ) ) 180.0 )
1321 ( <= ( + mt_icons_x ( * -1.0 mt_lists_x ) ) -100.0 )
1322 ( <= mt_icons_width 100.0 )
1323 ( >= mt_icons_width 100.0 )
1324 ( <= mt_icons_hight 50.0 )
1325 ( >= mt_icons_hight 50.0 )
1326 ( >= mt_lists_kid_0_x 0.0 )
1327 ( >= mt_lists_kid_0_y 0.0 )
1328 ( >= mt_lists_kid_0_width 0.0 )
1329 ( >= mt_lists_kid_0_hight 0.0 )
1330 ( >= mt_lists_kid_1_x 0.0 )
1331 ( >= mt_lists_kid_1_y 0.0 )
1332 ( >= mt_lists_kid_1_width 0.0 )
1333 ( >= mt_lists_kid_1_hight 0.0 )
1334 ( >= mt_lists_kid_2_x 0.0 )
1335 ( >= mt_lists_kid_2_y 0.0 )
1336 ( >= mt_lists_kid_2_width 0.0 )
1337 ( >= mt_lists_kid_2_hight 0.0 )
1338 ( >= mt_lists_kid_3_x 0.0 )
1339 ( >= mt_lists_kid_3_y 0.0 )
1340 ( >= mt_lists_kid_3_width 0.0 )
1341 ( >= mt_lists_kid_3_hight 0.0 )
1342 ( >= mt_lists_kid_4_x 0.0 )
1343 ( >= mt_lists_kid_4_y 0.0 )
1344 ( >= mt_lists_kid_4_width 0.0 )
1345 ( >= mt_lists_kid_4_hight 0.0 )
1346 ( >= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_bottom_0_y ) ) 180.0 )
1347 ( <= mt_lists_width 800.0 )
1348 ( >= mt_lists_width 800.0 )
1349 mt_lists_feasible
1350 ( <= ( + mt_lists_kid_1_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1351 ( >= ( + mt_lists_kid_1_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1352 ( <= ( + mt_lists_kid_2_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1353 ( >= ( + mt_lists_kid_2_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1354 ( <= ( + mt_lists_kid_3_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1355 ( >= ( + mt_lists_kid_3_width ( * -1.0 mt_lists_kid_0_width ) ) 0.0 )
1356 ( <= ( + mt_lists_kid_0_width ( * -1.0 mt_lists_kid_4_width ) ) 0.0 )
1357 ( >= ( + mt_lists_kid_0_width ( * -1.0 mt_lists_kid_4_width ) ) 0.0 )
1358 ( <= mt_lists_kid_0_width 100.0 )
1359 ( >= mt_lists_kid_0_width 100.0 )
1360 ( <= ( + mt_lists_y ( * -1.0 mt_lists_kid_0_y ) ) 0.0 )
1361 ( >= ( + mt_lists_y ( * -1.0 mt_lists_kid_0_y ) ) 0.0 )
1362 ( <= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_0_y ) ( * -1.0 mt_lists_kid_0_hight ) ) 0.0 )
1363 ( >= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_0_y ) ( * -1.0 mt_lists_kid_0_hight ) ) 0.0 )
1364 ( <= ( + mt_lists_y ( * -1.0 mt_lists_kid_1_y ) ) 0.0 )
1365 ( >= ( + mt_lists_y ( * -1.0 mt_lists_kid_1_y ) ) 0.0 )
1366 ( <= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_1_y ) ( * -1.0 mt_lists_kid_1_hight ) ) 0.0 )
1367 ( >= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_1_y ) ( * -1.0 mt_lists_kid_1_hight ) ) 0.0 )
1368 ( <= ( + mt_lists_y ( * -1.0 mt_lists_kid_2_y ) ) 0.0 )
1369 ( >= ( + mt_lists_y ( * -1.0 mt_lists_kid_2_y ) ) 0.0 )
1370 ( <= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_2_y ) ( * -1.0 mt_lists_kid_2_hight ) ) 0.0 )
1371 ( >= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_2_y ) ( * -1.0 mt_lists_kid_2_hight ) ) 0.0 )
1372 ( <= ( + mt_lists_y ( * -1.0 mt_lists_kid_3_y ) ) 0.0 )
1373 ( >= ( + mt_lists_y ( * -1.0 mt_lists_kid_3_y ) ) 0.0 )
1374 ( <= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_3_hight ) ( * -1.0 mt_lists_kid_3_y ) ) 0.0 )
1375 ( >= ( + mt_lists_y mt_lists_hight ( * -1.0 mt_lists_kid_3_hight ) ( * -1.0 mt_lists_kid_3_y ) ) 0.0 )
1376 ( <= ( + mt_lists_y ( * -1.0 mt_lists_kid_4_y ) ) 0.0 )
1377 ( >= ( + mt_lists_y ( * -1.0 mt_lists_kid_4_y ) ) 0.0 )
1378 ( <= ( + mt_lists_kid_4_hight ( * -1.0 mt_lists_y ) mt_lists_kid_4_y ( * -1.0 mt_lists_hight ) ) 0.0 )
1379 ( >= ( + mt_lists_kid_4_hight ( * -1.0 mt_lists_y ) mt_lists_kid_4_y ( * -1.0 mt_lists_hight ) ) 0.0 )
1380 ( <= ( + mt_lists_kid_0_x ( * -1.0 mt_lists_x ) ) 0.0 )
1381 ( >= ( + mt_lists_kid_0_x ( * -1.0 mt_lists_x ) ) 0.0 )
1382 ( <= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_x ) mt_lists_kid_4_width ) 800.0 )
1383 ( >= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_x ) mt_lists_kid_4_width ) 800.0 )
1384 ( <= ( + mt_lists_kid_2_x ( * -1.0 mt_lists_kid_1_width ) ( * -2.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1385 ( >= ( + mt_lists_kid_2_x ( * -1.0 mt_lists_kid_1_width ) ( * -2.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1386 ( <= ( + mt_lists_kid_3_x ( * -1.0 mt_lists_kid_2_x ) ( * -1.0 mt_lists_kid_2_width ) ( * -1.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1387 ( >= ( + mt_lists_kid_3_x ( * -1.0 mt_lists_kid_2_x ) ( * -1.0 mt_lists_kid_2_width ) ( * -1.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1388 ( <= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_kid_3_x ) ( * -1.0 mt_lists_kid_3_width ) ( * -1.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1389 ( >= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_kid_3_x ) ( * -1.0 mt_lists_kid_3_width ) ( * -1.0 mt_lists_kid_1_x ) mt_lists_kid_0_width mt_lists_kid_0_x ) 0.0 )
1390 ( <= ( + mt_lists_kid_0_width mt_lists_kid_0_x ( * -1.0 mt_lists_x ) ) 800.0 )
1391 ( >= ( + mt_lists_kid_1_x ( * -1.0 mt_lists_x ) ) 0.0 )
1392 ( <= ( + mt_lists_kid_1_width mt_lists_kid_1_x ( * -1.0 mt_lists_x ) ) 800.0 )
1393 ( >= ( + mt_lists_kid_2_x ( * -1.0 mt_lists_x ) ) 0.0 )
1394 ( <= ( + mt_lists_kid_2_x mt_lists_kid_2_width ( * -1.0 mt_lists_x ) ) 800.0 )
1395 ( >= ( + mt_lists_kid_3_x ( * -1.0 mt_lists_x ) ) 0.0 )
1396 ( <= ( + mt_lists_kid_3_x mt_lists_kid_3_width ( * -1.0 mt_lists_x ) ) 800.0 )
1397 ( >= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_x ) ) 0.0 )
1398 ( >= ( + mt_lists_kid_1_x ( * -1.0 mt_lists_kid_0_width ) ( * -1.0 mt_lists_kid_0_x ) ) 0.0 )
1399 ( >= ( + mt_lists_kid_2_x ( * -1.0 mt_lists_kid_1_width ) ( * -1.0 mt_lists_kid_1_x ) ) 0.0 )
1400 ( >= ( + mt_lists_kid_3_x ( * -1.0 mt_lists_kid_2_x ) ( * -1.0 mt_lists_kid_2_width ) ) 0.0 )
1401 ( >= ( + mt_lists_kid_4_x ( * -1.0 mt_lists_kid_3_x ) ( * -1.0 mt_lists_kid_3_width ) ) 0.0 )
1402 ( >= mt_list2_x 0.0 )
1403 ( >= mt_list2_y 0.0 )
1404 ( >= mt_list2_width 0.0 )
1405 ( <= ( + ( * 2.0 mt_bottom_1_x ) mt_bottom_1_width ( * -2.0 mt_icons_x ) ) 100.0 )
1406 ( >= ( + ( * 2.0 mt_bottom_1_x ) mt_bottom_1_width ( * -2.0 mt_icons_x ) ) 100.0 )
1407 ( <= ( + mt_list2_y ( * -1.0 mt_icons_y ) ) -220.0 )
1408 ( >= ( + mt_list2_y ( * -1.0 mt_icons_y ) ) -220.0 )
1409 ( >= ( + mt_list2_x ( * -1.0 mt_bottom_1_x ) ) 0.0 )
1410 ( <= ( + mt_list2_x ( * -1.0 mt_bottom_1_x ) mt_list2_width ( * -1.0 mt_bottom_1_width ) ) 0.0 )
1411 ( >= ( + mt_list2_y ( * -1.0 mt_bottom_1_y ) ) 0.0 )
1412 ( <= ( + mt_list2_y ( * -1.0 mt_bottom_1_hight ) ( * -1.0 mt_bottom_1_y ) ) -200.0 )
1413 ( <= ( + mt_bottom_1_x ( * -1.0 mt_icons_x ) ) 0.0 )
1414 ( >= ( + mt_bottom_1_x mt_bottom_1_width ( * -1.0 mt_icons_x ) ) 100.0 )
1415 ( <= ( + mt_bottom_1_y ( * -1.0 mt_icons_y ) ) 0.0 )
1416 ( >= ( + mt_bottom_1_hight mt_bottom_1_y ( * -1.0 mt_icons_y ) ) 50.0 )
1417 ( <= ( + mt_list2_y ( * -1.0 mt_icons_y ) ) -200.0 )
1418 ( <= ( + mt_list2_y ( * -1.0 mt_bottom_1_y ) ) 0.0 )
1419 ( <= ( + mt_bottom_1_hight mt_bottom_1_y ( * -1.0 mt_icons_y ) ) 50.0 )
1420 ( >= mt_list2_kid_0_x 0.0 )
1421 ( >= mt_list2_kid_0_y 0.0 )
1422 ( >= mt_list2_kid_0_width 0.0 )
1423 ( >= mt_list2_kid_0_hight 0.0 )
1424 ( >= mt_list2_kid_1_x 0.0 )
1425 ( >= mt_list2_kid_1_y 0.0 )
1426 ( >= mt_list2_kid_1_width 0.0 )
1427 ( >= mt_list2_kid_1_hight 0.0 )
1428 ( >= mt_list2_kid_2_x 0.0 )
1429 ( >= mt_list2_kid_2_y 0.0 )
1430 ( >= mt_list2_kid_2_width 0.0 )
1431 ( >= mt_list2_kid_2_hight 0.0 )
1432 ( >= mt_list2_kid_3_x 0.0 )
1433 ( >= mt_list2_kid_3_y 0.0 )
1434 ( >= mt_list2_kid_3_width 0.0 )
1435 ( >= mt_list2_kid_3_hight 0.0 )
1436 mt_list2_feasible
1437 ( <= ( + mt_list2_x ( * -1.0 mt_list2_kid_0_x ) ) 0.0 )
1438 ( >= ( + mt_list2_x ( * -1.0 mt_list2_kid_0_x ) ) 0.0 )
1439 ( <= ( + mt_list2_x ( * -1.0 mt_list2_kid_1_x ) ) 0.0 )
1440 ( >= ( + mt_list2_x ( * -1.0 mt_list2_kid_1_x ) ) 0.0 )
1441 ( <= ( + mt_list2_x ( * -1.0 mt_list2_kid_2_x ) ) 0.0 )
1442 ( >= ( + mt_list2_x ( * -1.0 mt_list2_kid_2_x ) ) 0.0 )
1443 ( <= ( + mt_list2_x ( * -1.0 mt_list2_kid_3_x ) ) 0.0 )
1444 ( >= ( + mt_list2_x ( * -1.0 mt_list2_kid_3_x ) ) 0.0 )
1445 ( <= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_0_width ) ( * -1.0 mt_list2_kid_0_x ) ) 0.0 )
1446 ( >= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_0_width ) ( * -1.0 mt_list2_kid_0_x ) ) 0.0 )
1447 ( <= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_1_x ) ( * -1.0 mt_list2_kid_1_width ) ) 0.0 )
1448 ( >= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_1_x ) ( * -1.0 mt_list2_kid_1_width ) ) 0.0 )
1449 ( <= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_2_width ) ( * -1.0 mt_list2_kid_2_x ) ) 0.0 )
1450 ( >= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_2_width ) ( * -1.0 mt_list2_kid_2_x ) ) 0.0 )
1451 ( <= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_3_x ) ( * -1.0 mt_list2_kid_3_width ) ) 0.0 )
1452 ( >= ( + mt_list2_x mt_list2_width ( * -1.0 mt_list2_kid_3_x ) ( * -1.0 mt_list2_kid_3_width ) ) 0.0 )
1453 ( <= ( + mt_list2_kid_0_y ( * -1.0 mt_list2_y ) ) 0.0 )
1454 ( >= ( + mt_list2_kid_0_y ( * -1.0 mt_list2_y ) ) 0.0 )
1455 ( <= ( + mt_list2_kid_3_hight mt_list2_kid_3_y ( * -1.0 mt_list2_y ) ) 200.0 )
1456 ( >= ( + mt_list2_kid_3_hight mt_list2_kid_3_y ( * -1.0 mt_list2_y ) ) 200.0 )
1457 ( <= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_1_y ) mt_list2_kid_0_y ) 0.0 )
1458 ( >= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_1_y ) mt_list2_kid_0_y ) 0.0 )
1459 ( <= ( + mt_list2_kid_1_hight ( * -1.0 mt_list2_kid_2_y ) mt_list2_kid_1_y ) 0.0 )
1460 ( >= ( + mt_list2_kid_1_hight ( * -1.0 mt_list2_kid_2_y ) mt_list2_kid_1_y ) 0.0 )
1461 ( <= ( + mt_list2_kid_2_hight ( * -1.0 mt_list2_kid_3_y ) mt_list2_kid_2_y ) 0.0 )
1462 ( >= ( + mt_list2_kid_2_hight ( * -1.0 mt_list2_kid_3_y ) mt_list2_kid_2_y ) 0.0 )
1463 ( <= ( + mt_list2_x ( * -1.0 mt_bottom_1_x ) ) 0.0 )
1464 ( >= ( + mt_list2_x ( * -1.0 mt_bottom_1_x ) mt_list2_width ( * -1.0 mt_bottom_1_width ) ) 0.0 )
1465 ( <= mt_list2_hight 200.0 )
1466 ( >= mt_list2_hight 200.0 )
1467 ( <= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_1_hight ) ) 0.0 )
1468 ( >= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_1_hight ) ) 0.0 )
1469 ( <= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_2_hight ) ) 0.0 )
1470 ( >= ( + mt_list2_kid_0_hight ( * -1.0 mt_list2_kid_2_hight ) ) 0.0 )
1471 ( <= ( + mt_list2_kid_3_hight ( * -1.0 mt_list2_kid_0_hight ) ) 0.0 )
1472 ( >= ( + mt_list2_kid_3_hight ( * -1.0 mt_list2_kid_0_hight ) ) 0.0 )
1473 back_ground_feasible
1474 title_holder_feasible
1475 main_body_feasible
1476 read_more_feasible
1477 bottom_holder_feasible
1478 icons_kid_0_feasible
1479 icons_kid_1_feasible
1480 downloads_kid_0_feasible
1481 downloads_kid_1_feasible
1482 home_pages_kid_0_feasible
1483 home_pages_kid_1_feasible
1484 home_pages_kid_2_feasible
1485 home_pages_kid_3_feasible
1486 home_pages_kid_4_feasible
1487 home_pages_kid_5_feasible
1488 home_pages_kid_6_feasible
1489 less_feasible
1490 main_title_holder_feasible
1491 main_news_feasible
1492 main_pics_holder_feasible
1493 meituan_is_a_retail_comp_feasible
1494 meituan_slogan_feasible
1495 meituan_detail_info_feasible
1496 download_app_feasible
1497 meituan_learn_more_feasible
1498 main_news_kid_0_feasible
1499 main_news_kid_1_feasible
1500 pics_content_0_pic_feasible
1501 pics_content_0_title_kid_0_feasible
1502 pics_content_0_title_kid_1_feasible
1503 pics_content_0_title_kid_2_feasible
1504 pics_content_1_pic_feasible
1505 pics_content_1_title_kid_0_feasible
1506 pics_content_1_title_kid_1_feasible
1507 pics_content_1_title_kid_2_feasible
1508 pics_content_2_pic_feasible
1509 pics_content_2_title_kid_0_feasible
1510 pics_content_2_title_kid_1_feasible
1511 pics_content_2_title_kid_2_feasible
1512 pics_content_3_pic_feasible
1513 pics_content_3_title_kid_0_feasible
1514 pics_content_3_title_kid_1_feasible
1515 pics_content_3_title_kid_2_feasible
1516 pics_content_4_pic_feasible
1517 pics_content_4_title_kid_0_feasible
1518 pics_content_4_title_kid_1_feasible
1519 pics_content_4_title_kid_2_feasible
1520 pics_content_5_pic_feasible
1521 pics_content_5_title_kid_0_feasible
1522 pics_content_5_title_kid_1_feasible
1523 pics_content_5_title_kid_2_feasible
1524 pics_content_6_pic_feasible
1525 pics_content_6_title_kid_0_feasible
1526 pics_content_6_title_kid_1_feasible
1527 pics_content_6_title_kid_2_feasible
1528 pics_content_7_pic_feasible
1529 pics_content_7_title_kid_0_feasible
1530 pics_content_7_title_kid_1_feasible
1531 pics_content_7_title_kid_2_feasible
1532 mt_icons_feasible
1533 mt_lists_kid_0_feasible
1534 mt_lists_kid_1_feasible
1535 mt_lists_kid_2_feasible
1536 mt_lists_kid_3_feasible
1537 mt_lists_kid_4_feasible
1538 mt_list2_kid_0_feasible
1539 mt_list2_kid_1_feasible
1540 mt_list2_kid_2_feasible
1541 mt_list2_kid_3_feasible
0
1788
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( -53 54 )
( -53 55 )
( -53 56 )
( -53 57 )
( -53 58 )
( -53 59 )
( -53 60 )
( -53 61 )
( -62 63 )
( -62 64 )
( -62 65 )
( -62 66 )
( -62 67 )
( -62 68 )
( -62 69 )
( -62 70 )
( 53 62 )
( -53 -62 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( -53 89 )
( -53 90 )
( -53 91 )
( -53 92 )
( -53 93 )
( -53 94 )
( -53 95 )
( -53 96 )
( -53 97 )
( -53 98 )
( -53 99 )
( -53 100 )
( 101 )
( 102 )
( -53 103 )
( -53 104 )
( -53 90 )
( -53 91 )
( -53 105 )
( -53 106 )
( -53 94 )
( -53 95 )
( -53 107 )
( -53 108 )
( -53 98 )
( -53 99 )
( -53 109 )
( -53 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( -121 122 )
( -121 123 )
( -121 124 )
( -121 125 )
( -121 126 )
( -121 127 )
( -121 128 )
( -121 129 )
( -121 130 )
( -121 131 )
( -121 132 )
( -121 133 )
( -121 122 )
( -121 134 )
( -121 126 )
( -121 131 )
( -121 135 )
( -121 125 )
( -121 128 )
( -121 133 )
( -121 136 )
( -121 137 )
( -121 138 )
( -121 139 )
( -121 140 )
( -53 141 )
( -53 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( -151 152 )
( -151 153 )
( -151 154 )
( -151 155 )
( -151 156 )
( -151 157 )
( -151 158 )
( -151 159 )
( -151 160 )
( -151 161 )
( -151 162 )
( -151 163 )
( -151 164 )
( -151 165 )
( -151 166 )
( -151 167 )
( -151 168 )
( -151 169 )
( -151 152 )
( -151 170 )
( -151 156 )
( -151 161 )
( -151 171 )
( -151 155 )
( -151 159 )
( -151 162 )
( -151 172 )
( -53 173 )
( -53 174 )
( 175 )
( 176 )
( 177 )
( 178 )
( 179 )
( 180 )
( 181 )
( 182 )
( 183 )
( 184 )
( 185 )
( 186 )
( 187 )
( 188 )
( 189 )
( 190 )
( 191 )
( 192 )
( 193 )
( 194 )
( 195 )
( 196 )
( 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( -53 203 )
( -53 204 )
( -205 206 )
( -205 207 )
( -205 208 )
( -205 209 )
( -205 210 )
( -205 211 )
( -205 212 )
( -205 213 )
( -205 214 )
( -205 215 )
( -205 216 )
( -205 217 )
( -205 218 )
( -205 219 )
( -205 220 )
( -205 221 )
( -205 222 )
( -205 223 )
( -205 224 )
( -205 225 )
( -205 226 )
( -205 227 )
( -205 228 )
( -205 229 )
( -205 230 )
( -205 231 )
( -205 232 )
( -205 233 )
( -205 234 )
( -205 235 )
( -205 236 )
( -205 237 )
( -205 238 )
( -205 239 )
( -205 240 )
( -205 241 )
( -205 242 )
( -205 243 )
( -205 244 )
( -205 245 )
( -205 246 )
( -205 247 )
( -205 248 )
( -205 249 )
( -205 250 )
( -205 251 )
( -205 252 )
( -205 253 )
( -205 254 )
( -205 255 )
( -205 256 )
( -205 257 )
( -205 258 )
( -205 259 )
( -205 260 )
( -205 261 )
( -205 262 )
( -205 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( -62 271 )
( -62 272 )
( -62 273 )
( -62 274 )
( -62 275 )
( -62 276 )
( -62 277 )
( -62 278 )
( -62 279 )
( -62 280 )
( -62 281 )
( -62 282 )
( -62 272 )
( -62 283 )
( -62 275 )
( -62 278 )
( -62 284 )
( -62 285 )
( -62 279 )
( -62 282 )
( -62 286 )
( 287 )
( 288 )
( 289 )
( 290 )
( 291 )
( 292 )
( 293 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 325 )
( 324 326 )
( -324 327 )
( -324 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( 334 )
( 335 )
( 336 )
( -337 338 )
( -337 339 )
( -337 340 )
( -337 341 )
( -337 342 )
( -337 343 )
( -337 344 )
( -337 345 )
( -346 347 )
( -346 348 )
( -346 349 )
( -346 350 )
( -346 351 )
( -346 352 )
( -346 353 )
( -346 354 )
( 337 346 )
( -337 -346 )
( 355 )
( 356 )
( 357 )
( 358 )
( 359 )
( 360 )
( 361 )
( 362 )
( 363 )
( 364 )
( 365 )
( 366 )
( 367 )
( 368 )
( 369 )
( 370 )
( -337 371 )
( -337 372 )
( -337 373 )
( -337 374 )
( -337 375 )
( -337 376 )
( -337 377 )
( -337 378 )
( -337 379 )
( -337 380 )
( -337 381 )
( -337 382 )
( -337 383 )
( -337 384 )
( -337 385 )
( -337 386 )
( -337 387 )
( -337 388 )
( -337 389 )
( -337 390 )
( -337 391 )
( -337 392 )
( -337 393 )
( -337 394 )
( -337 395 )
( -337 396 )
( -337 397 )
( -337 398 )
( -337 399 )
( -337 400 )
( -337 401 )
( -337 402 )
( -337 403 )
( -337 404 )
( -337 405 )
( -337 406 )
( -337 407 )
( -337 408 )
( -337 409 )
( -337 410 )
( -337 411 )
( -337 412 )
( -337 386 )
( -337 413 )
( -337 414 )
( -337 415 )
( -337 416 )
( -337 417 )
( -337 403 )
( -337 406 )
( -337 418 )
( -337 419 )
( -337 420 )
( -337 421 )
( -337 422 )
( -337 387 )
( -337 423 )
( -337 424 )
( -337 425 )
( 426 )
( 427 )
( 428 )
( 429 )
( -346 430 )
( -346 431 )
( -346 432 )
( -346 433 )
( -346 434 )
( -346 435 )
( -346 436 )
( -346 437 )
( -346 438 )
( -346 439 )
( -346 440 )
( -346 441 )
( -346 442 )
( -346 443 )
( -346 444 )
( -346 445 )
( -346 446 )
( -346 447 )
( -346 448 )
( -346 449 )
( -346 371 )
( -346 372 )
( -346 450 )
( -346 451 )
( -346 452 )
( -346 453 )
( -346 454 )
( -346 455 )
( -346 431 )
( -346 456 )
( -346 457 )
( -346 458 )
( -346 459 )
( -346 460 )
( -346 461 )
( -346 462 )
( -346 463 )
( -346 432 )
( -346 423 )
( -346 464 )
( 465 )
( 466 )
( 467 )
( 468 )
( 469 )
( 470 )
( 471 )
( 472 )
( 473 )
( 474 )
( 475 )
( 476 )
( 477 )
( 478 )
( 479 )
( 480 )
( 481 )
( 482 )
( 483 )
( 484 )
( 485 )
( 486 )
( 487 )
( 488 )
( 489 )
( 476 )
( 490 )
( 491 )
( 492 )
( 493 )
( 494 )
( 495 )
( 496 )
( 497 )
( 498 )
( 499 )
( -500 501 )
( -500 502 )
( -500 503 )
( -500 504 )
( -500 505 )
( -500 506 )
( -500 507 )
( -500 508 )
( -509 510 )
( -509 511 )
( -509 512 )
( -509 513 )
( -509 514 )
( -509 515 )
( -509 516 )
( -509 517 )
( 500 509 )
( -500 -509 )
( 518 )
( 519 )
( 520 )
( 521 )
( 522 )
( 523 )
( 524 )
( 525 )
( -500 526 )
( -500 527 )
( -500 528 )
( -500 529 )
( -500 530 )
( -500 531 )
( -500 532 )
( -500 533 )
( -500 534 )
( -500 535 )
( -500 536 )
( -500 537 )
( -500 538 )
( -500 539 )
( 540 )
( 541 )
( 542 )
( 543 )
( 544 )
( 545 )
( 546 )
( 547 )
( -548 549 )
( -548 550 )
( -548 551 )
( -548 552 )
( -548 553 )
( -548 554 )
( -548 555 )
( -548 556 )
( -548 557 )
( -548 558 )
( -548 559 )
( -548 560 )
( -548 561 )
( -548 562 )
( -548 550 )
( -548 563 )
( -548 554 )
( -548 557 )
( -548 564 )
( -548 551 )
( -548 556 )
( -548 559 )
( -548 565 )
( 566 )
( 567 )
( 568 )
( 569 )
( 570 )
( 571 )
( 572 )
( 573 )
( 574 )
( 575 )
( 576 )
( 577 )
( 578 )
( 579 )
( 580 )
( 581 )
( 582 )
( 583 )
( 584 )
( 585 )
( 586 )
( 587 )
( 588 )
( 589 )
( 590 )
( 591 )
( 592 )
( 593 )
( 594 )
( -595 596 )
( -595 597 )
( -595 598 )
( -595 599 )
( -595 600 )
( -595 601 )
( -595 602 )
( -595 603 )
( -595 604 )
( -595 605 )
( -595 606 )
( -595 607 )
( -595 608 )
( -595 609 )
( -595 610 )
( -595 611 )
( -595 612 )
( -595 613 )
( -595 614 )
( -595 615 )
( -595 616 )
( -595 617 )
( -595 618 )
( -595 619 )
( -595 620 )
( -595 621 )
( -595 622 )
( -595 623 )
( -595 624 )
( -595 625 )
( -595 626 )
( -595 627 )
( -595 628 )
( -595 629 )
( -595 630 )
( -595 631 )
( -595 632 )
( -595 633 )
( -595 634 )
( -595 635 )
( -595 636 )
( -595 637 )
( -595 638 )
( -595 639 )
( -595 640 )
( -595 641 )
( -595 642 )
( -595 643 )
( 644 )
( 645 )
( 646 )
( 647 )
( 648 )
( 649 )
( 650 )
( -651 652 )
( -651 653 )
( -651 654 )
( -651 655 )
( -651 656 )
( -651 657 )
( -651 658 )
( -651 659 )
( -651 660 )
( -651 661 )
( -651 662 )
( -651 663 )
( -651 664 )
( -651 665 )
( 666 )
( 667 )
( 668 )
( 669 )
( 670 )
( 671 )
( 672 )
( 673 )
( 674 )
( 675 )
( 676 )
( 677 )
( -678 679 )
( -678 680 )
( -678 681 )
( -678 682 )
( -678 683 )
( -678 684 )
( -678 685 )
( -678 686 )
( -678 687 )
( -678 688 )
( -678 689 )
( -678 690 )
( -678 691 )
( -678 692 )
( -678 693 )
( -678 694 )
( -678 695 )
( -678 696 )
( -678 697 )
( -678 698 )
( 699 )
( 700 )
( -678 701 )
( -678 702 )
( -678 703 )
( -678 704 )
( -678 683 )
( -678 690 )
( -678 696 )
( -678 705 )
( -678 685 )
( -678 692 )
( -678 706 )
( -678 707 )
( -678 687 )
( -678 693 )
( -678 708 )
( -678 697 )
( -678 709 )
( -678 710 )
( 711 )
( 712 )
( 713 )
( 714 )
( 715 )
( 716 )
( 717 )
( -718 719 )
( -718 720 )
( -718 721 )
( -718 722 )
( -718 723 )
( -718 724 )
( -718 725 )
( -718 726 )
( -718 727 )
( -718 728 )
( -718 729 )
( -718 730 )
( -718 731 )
( -718 732 )
( 733 )
( 734 )
( 735 )
( 736 )
( 737 )
( 738 )
( 739 )
( 740 )
( 741 )
( 742 )
( 743 )
( 744 )
( 745 )
( 746 )
( -747 748 )
( -747 749 )
( -747 750 )
( -747 751 )
( -747 752 )
( -747 753 )
( -747 754 )
( -747 755 )
( -747 756 )
( -747 757 )
( -747 758 )
( -747 759 )
( -747 760 )
( -747 761 )
( -747 762 )
( -747 763 )
( -747 764 )
( -747 765 )
( -747 766 )
( -747 767 )
( 768 )
( 769 )
( -747 770 )
( -747 771 )
( -747 772 )
( -747 773 )
( -747 752 )
( -747 759 )
( -747 765 )
( -747 774 )
( -747 754 )
( -747 761 )
( -747 775 )
( -747 776 )
( -747 756 )
( -747 762 )
( -747 777 )
( -747 766 )
( -747 778 )
( -747 779 )
( 780 )
( 781 )
( 782 )
( 783 )
( 784 )
( 785 )
( 786 )
( -787 788 )
( -787 789 )
( -787 790 )
( -787 791 )
( -787 792 )
( -787 793 )
( -787 794 )
( -787 795 )
( -787 796 )
( -787 797 )
( -787 798 )
( -787 799 )
( -787 800 )
( -787 801 )
( 802 )
( 803 )
( 804 )
( 805 )
( 806 )
( 807 )
( 808 )
( 809 )
( 810 )
( 811 )
( 812 )
( 813 )
( 814 )
( 815 )
( -816 817 )
( -816 818 )
( -816 819 )
( -816 820 )
( -816 821 )
( -816 822 )
( -816 823 )
( -816 824 )
( -816 825 )
( -816 826 )
( -816 827 )
( -816 828 )
( -816 829 )
( -816 830 )
( -816 831 )
( -816 832 )
( -816 833 )
( -816 834 )
( -816 835 )
( -816 836 )
( 837 )
( 838 )
( -816 839 )
( -816 840 )
( -816 841 )
( -816 842 )
( -816 821 )
( -816 828 )
( -816 834 )
( -816 843 )
( -816 823 )
( -816 830 )
( -816 844 )
( -816 845 )
( -816 826 )
( -816 832 )
( -816 846 )
( -816 835 )
( -816 847 )
( -816 848 )
( 849 )
( 850 )
( 851 )
( 852 )
( 853 )
( 854 )
( 855 )
( -856 857 )
( -856 858 )
( -856 859 )
( -856 860 )
( -856 861 )
( -856 862 )
( -856 863 )
( -856 864 )
( -856 865 )
( -856 866 )
( -856 867 )
( -856 868 )
( -856 869 )
( -856 870 )
( 871 )
( 872 )
( 873 )
( 874 )
( 875 )
( 876 )
( 877 )
( 878 )
( 879 )
( 880 )
( 881 )
( 882 )
( 883 )
( 884 )
( -885 886 )
( -885 887 )
( -885 888 )
( -885 889 )
( -885 890 )
( -885 891 )
( -885 892 )
( -885 893 )
( -885 894 )
( -885 895 )
( -885 896 )
( -885 897 )
( -885 898 )
( -885 899 )
( -885 900 )
( -885 901 )
( -885 902 )
( -885 903 )
( -885 904 )
( -885 905 )
( 906 )
( 907 )
( -885 908 )
( -885 909 )
( -885 910 )
( -885 911 )
( -885 890 )
( -885 897 )
( -885 903 )
( -885 912 )
( -885 892 )
( -885 899 )
( -885 913 )
( -885 914 )
( -885 895 )
( -885 901 )
( -885 915 )
( -885 904 )
( -885 916 )
( -885 917 )
( 918 )
( 919 )
( 920 )
( 921 )
( 922 )
( 923 )
( 924 )
( -925 926 )
( -925 927 )
( -925 928 )
( -925 929 )
( -925 930 )
( -925 931 )
( -925 932 )
( -925 933 )
( -925 934 )
( -925 935 )
( -925 936 )
( -925 937 )
( -925 938 )
( -925 939 )
( 940 )
( 941 )
( 942 )
( 943 )
( 944 )
( 945 )
( 946 )
( 947 )
( 948 )
( 949 )
( 950 )
( 951 )
( 952 )
( 953 )
( -954 955 )
( -954 956 )
( -954 957 )
( -954 958 )
( -954 959 )
( -954 960 )
( -954 961 )
( -954 962 )
( -954 963 )
( -954 964 )
( -954 965 )
( -954 966 )
( -954 967 )
( -954 968 )
( -954 969 )
( -954 970 )
( -954 971 )
( -954 972 )
( -954 973 )
( -954 974 )
( 975 )
( 976 )
( -954 977 )
( -954 978 )
( -954 979 )
( -954 980 )
( -954 959 )
( -954 966 )
( -954 972 )
( -954 981 )
( -954 961 )
( -954 968 )
( -954 982 )
( -954 983 )
( -954 963 )
( -954 969 )
( -954 984 )
( -954 973 )
( -954 985 )
( -954 986 )
( 987 )
( 988 )
( 989 )
( 990 )
( 991 )
( 992 )
( 993 )
( -994 995 )
( -994 996 )
( -994 997 )
( -994 998 )
( -994 999 )
( -994 1000 )
( -994 1001 )
( -994 1002 )
( -994 1003 )
( -994 1004 )
( -994 1005 )
( -994 1006 )
( -994 1007 )
( -994 1008 )
( 1009 )
( 1010 )
( 1011 )
( 1012 )
( 1013 )
( 1014 )
( 1015 )
( 1016 )
( 1017 )
( 1018 )
( 1019 )
( 1020 )
( 1021 )
( 1022 )
( -1023 1024 )
( -1023 1025 )
( -1023 1026 )
( -1023 1027 )
( -1023 1028 )
( -1023 1029 )
( -1023 1030 )
( -1023 1031 )
( -1023 1032 )
( -1023 1033 )
( -1023 1034 )
( -1023 1035 )
( -1023 1036 )
( -1023 1037 )
( -1023 1038 )
( -1023 1039 )
( -1023 1040 )
( -1023 1041 )
( -1023 1042 )
( -1023 1043 )
( 1044 )
( 1045 )
( -1023 1046 )
( -1023 1047 )
( -1023 1048 )
( -1023 1049 )
( -1023 1028 )
( -1023 1035 )
( -1023 1041 )
( -1023 1050 )
( -1023 1030 )
( -1023 1037 )
( -1023 1051 )
( -1023 1052 )
( -1023 1033 )
( -1023 1038 )
( -1023 1053 )
( -1023 1042 )
( -1023 1054 )
( -1023 1055 )
( 1056 )
( 1057 )
( 1058 )
( 1059 )
( 1060 )
( 1061 )
( 1062 )
( -1063 1064 )
( -1063 1065 )
( -1063 1066 )
( -1063 1067 )
( -1063 1068 )
( -1063 1069 )
( -1063 1070 )
( -1063 1071 )
( -1063 1072 )
( -1063 1073 )
( -1063 1074 )
( -1063 1075 )
( -1063 1076 )
( -1063 1077 )
( 1078 )
( 1079 )
( 1080 )
( 1081 )
( 1082 )
( 1083 )
( 1084 )
( 1085 )
( 1086 )
( 1087 )
( 1088 )
( 1089 )
( 1090 )
( 1091 )
( -1092 1093 )
( -1092 1094 )
( -1092 1095 )
( -1092 1096 )
( -1092 1097 )
( -1092 1098 )
( -1092 1099 )
( -1092 1100 )
( -1092 1101 )
( -1092 1102 )
( -1092 1103 )
( -1092 1104 )
( -1092 1105 )
( -1092 1106 )
( -1092 1107 )
( -1092 1108 )
( -1092 1109 )
( -1092 1110 )
( -1092 1111 )
( -1092 1112 )
( 1113 )
( 1114 )
( -1092 1115 )
( -1092 1116 )
( -1092 1117 )
( -1092 1118 )
( -1092 1097 )
( -1092 1104 )
( -1092 1110 )
( -1092 1119 )
( -1092 1099 )
( -1092 1106 )
( -1092 1120 )
( -1092 1121 )
( -1092 1102 )
( -1092 1108 )
( -1092 1122 )
( -1092 1111 )
( -1092 1123 )
( -1092 1124 )
( 1125 )
( 1126 )
( 1127 )
( 1128 )
( 1129 )
( 1130 )
( 1131 )
( -1132 1133 )
( -1132 1134 )
( -1132 1135 )
( -1132 1136 )
( -1132 1137 )
( -1132 1138 )
( -1132 1139 )
( -1132 1140 )
( -1132 1141 )
( -1132 1142 )
( -1132 1143 )
( -1132 1144 )
( -1132 1145 )
( -1132 1146 )
( 1147 )
( 1148 )
( 1149 )
( 1150 )
( 1151 )
( 1152 )
( 1153 )
( 1154 )
( 1155 )
( 1156 )
( 1157 )
( 1158 )
( 1159 )
( 1160 )
( -1161 1162 )
( -1161 1163 )
( -1161 1164 )
( -1161 1165 )
( -1161 1166 )
( -1161 1167 )
( -1161 1168 )
( -1161 1169 )
( -1161 1170 )
( -1161 1171 )
( -1161 1172 )
( -1161 1173 )
( -1161 1174 )
( -1161 1175 )
( -1161 1176 )
( -1161 1177 )
( -1161 1178 )
( -1161 1179 )
( -1161 1180 )
( -1161 1181 )
( 1182 )
( 1183 )
( -1161 1184 )
( -1161 1185 )
( -1161 1186 )
( -1161 1187 )
( -1161 1166 )
( -1161 1173 )
( -1161 1179 )
( -1161 1188 )
( -1161 1168 )
( -1161 1175 )
( -1161 1189 )
( -1161 1190 )
( -1161 1171 )
( -1161 1177 )
( -1161 1191 )
( -1161 1180 )
( -1161 1192 )
( -1161 1193 )
( -509 1194 )
( -509 1195 )
( -509 1196 )
( -509 1197 )
( -509 1198 )
( -509 1199 )
( -509 1200 )
( -509 1201 )
( -509 1202 )
( -509 1203 )
( -509 1204 )
( -509 1205 )
( -509 1206 )
( -509 1207 )
( -509 1208 )
( -509 1209 )
( -509 1210 )
( -509 1211 )
( -509 1212 )
( -509 1213 )
( -509 1214 )
( -509 1215 )
( -509 1216 )
( -509 1217 )
( -509 1218 )
( -509 1219 )
( -509 1220 )
( -509 1221 )
( -509 1222 )
( -509 1223 )
( -509 1224 )
( -509 1225 )
( -509 1226 )
( -509 1227 )
( -509 1228 )
( -509 1229 )
( -509 1230 )
( -509 1231 )
( -509 1232 )
( -509 1233 )
( -509 1234 )
( -509 1235 )
( -509 1236 )
( -509 1237 )
( -509 1238 )
( -509 1239 )
( -509 1240 )
( -509 1241 )
( -509 1242 )
( -509 1243 )
( -509 1194 )
( -509 1211 )
( -509 1227 )
( -509 1244 )
( -509 1196 )
( -509 1213 )
( -509 1245 )
( -509 1246 )
( -509 1198 )
( -509 1215 )
( -509 1247 )
( -509 1248 )
( -509 1200 )
( -509 1217 )
( -509 1249 )
( -509 1250 )
( -509 1202 )
( -509 1219 )
( -509 1251 )
( -509 1252 )
( -509 1204 )
( -509 1221 )
( -509 1253 )
( -509 1254 )
( -509 1206 )
( -509 1223 )
( -509 1255 )
( -509 1256 )
( -509 1208 )
( -509 1225 )
( -509 1257 )
( -509 1228 )
( -509 1258 )
( -509 1259 )
( -509 1260 )
( -509 1261 )
( -509 1262 )
( -509 1263 )
( -509 1264 )
( -509 1265 )
( -509 1266 )
( 1267 )
( 1268 )
( 1269 )
( 1270 )
( 1271 )
( 1272 )
( 1273 )
( 1274 )
( 1275 )
( 1276 )
( 1277 )
( 1278 )
( 1279 )
( -1280 1281 )
( -1280 1282 )
( -1280 1283 )
( -1280 1284 )
( -1280 1285 )
( -1280 1286 )
( -1280 1287 )
( -1280 1288 )
( -1289 1290 )
( -1289 1291 )
( -1289 1292 )
( -1289 1293 )
( -1289 1294 )
( -1289 1295 )
( -1289 1296 )
( -1289 1297 )
( 1280 1289 )
( -1280 -1289 )
( 1298 )
( 1299 )
( 1300 )
( 1301 )
( 1302 )
( 1303 )
( 1304 )
( 1305 )
( 1306 )
( 1307 )
( 1308 )
( -1280 1309 )
( -1280 1310 )
( -1280 1311 )
( -1280 1312 )
( -1280 1313 )
( -1280 1314 )
( -1280 1315 )
( -1280 1316 )
( -1280 1310 )
( -1280 1317 )
( -1280 1314 )
( -1280 1318 )
( -1280 1319 )
( -1280 1311 )
( -1280 1316 )
( -1280 1320 )
( -1280 1321 )
( 1322 )
( 1323 )
( 1324 )
( 1325 )
( 1326 )
( 1327 )
( 1328 )
( 1329 )
( 1330 )
( 1331 )
( 1332 )
( 1333 )
( 1334 )
( 1335 )
( 1336 )
( 1337 )
( 1338 )
( 1339 )
( 1340 )
( 1341 )
( 1342 )
( 1343 )
( 1344 )
( 1345 )
( -1280 1320 )
( -1280 1346 )
( 1347 )
( 1348 )
( -1349 1350 )
( -1349 1351 )
( -1349 1352 )
( -1349 1353 )
( -1349 1354 )
( -1349 1355 )
( -1349 1356 )
( -1349 1357 )
( -1349 1358 )
( -1349 1359 )
( -1349 1360 )
( -1349 1361 )
( -1349 1362 )
( -1349 1363 )
( -1349 1364 )
( -1349 1365 )
( -1349 1366 )
( -1349 1367 )
( -1349 1368 )
( -1349 1369 )
( -1349 1370 )
( -1349 1371 )
( -1349 1372 )
( -1349 1373 )
( -1349 1374 )
( -1349 1375 )
( -1349 1376 )
( -1349 1377 )
( -1349 1378 )
( -1349 1379 )
( -1349 1380 )
( -1349 1381 )
( -1349 1382 )
( -1349 1383 )
( -1349 1384 )
( -1349 1385 )
( -1349 1386 )
( -1349 1387 )
( -1349 1388 )
( -1349 1389 )
( -1349 1381 )
( -1349 1390 )
( -1349 1360 )
( -1349 1363 )
( -1349 1391 )
( -1349 1392 )
( -1349 1364 )
( -1349 1367 )
( -1349 1393 )
( -1349 1394 )
( -1349 1368 )
( -1349 1371 )
( -1349 1395 )
( -1349 1396 )
( -1349 1372 )
( -1349 1375 )
( -1349 1397 )
( -1349 1382 )
( -1349 1376 )
( -1349 1378 )
( -1349 1398 )
( -1349 1399 )
( -1349 1400 )
( -1349 1401 )
( 1402 )
( 1403 )
( 1404 )
( -1289 1405 )
( -1289 1406 )
( -1289 1407 )
( -1289 1408 )
( -1289 1409 )
( -1289 1410 )
( -1289 1411 )
( -1289 1412 )
( -1289 1413 )
( -1289 1414 )
( -1289 1415 )
( -1289 1416 )
( -1289 1417 )
( -1289 1418 )
( -1289 1411 )
( -1289 1419 )
( -1289 1416 )
( 1420 )
( 1421 )
( 1422 )
( 1423 )
( 1424 )
( 1425 )
( 1426 )
( 1427 )
( 1428 )
( 1429 )
( 1430 )
( 1431 )
( 1432 )
( 1433 )
( 1434 )
( 1435 )
( -1436 1437 )
( -1436 1438 )
( -1436 1439 )
( -1436 1440 )
( -1436 1441 )
( -1436 1442 )
( -1436 1443 )
( -1436 1444 )
( -1436 1445 )
( -1436 1446 )
( -1436 1447 )
( -1436 1448 )
( -1436 1449 )
( -1436 1450 )
( -1436 1451 )
( -1436 1452 )
( -1436 1453 )
( -1436 1454 )
( -1436 1455 )
( -1436 1456 )
( -1436 1457 )
( -1436 1458 )
( -1436 1459 )
( -1436 1460 )
( -1436 1461 )
( -1436 1462 )
( -1289 1463 )
( -1289 1409 )
( -1289 1410 )
( -1289 1464 )
( 1465 )
( 1466 )
( -1436 1467 )
( -1436 1468 )
( -1436 1469 )
( -1436 1470 )
( -1436 1471 )
( -1436 1472 )
( 1473 )
( 1474 )
( 1475 )
( 1476 )
( 1477 )
( -53 121 )
( -62 121 )
( 53 62 -121 )
( -53 -62 -121 )
( 53 -205 )
( -53 205 )
( 53 -151 )
( -53 151 )
( 121 -1478 )
( -121 1478 )
( 121 -1479 )
( -121 1479 )
( 151 -1480 )
( -151 1480 )
( 151 -1481 )
( -151 1481 )
( 205 -1482 )
( -205 1482 )
( 205 -1483 )
( -205 1483 )
( 205 -1484 )
( -205 1484 )
( 205 -1485 )
( -205 1485 )
( 205 -1486 )
( -205 1486 )
( 205 -1487 )
( -205 1487 )
( 205 -1488 )
( -205 1488 )
( 62 -1489 )
( -62 1489 )
( 1490 )
( 1491 )
( 1492 )
( -337 1493 )
( -346 1493 )
( 337 346 -1493 )
( -337 -346 -1493 )
( -337 1494 )
( -346 1494 )
( 337 346 -1494 )
( -337 -346 -1494 )
( 337 -1495 )
( -337 1495 )
( 337 -1496 )
( -337 1496 )
( 346 -1497 )
( -346 1497 )
( 1498 )
( 1499 )
( 500 -548 )
( -500 548 )
( 500 -595 )
( -500 595 )
( -548 651 )
( -509 651 )
( 509 548 -651 )
( -509 -548 -651 )
( -548 718 )
( -509 718 )
( 509 548 -718 )
( -509 -548 -718 )
( -595 787 )
( -509 787 )
( 509 595 -787 )
( -509 -595 -787 )
( -595 856 )
( -509 856 )
( 509 595 -856 )
( -509 -595 -856 )
( -595 925 )
( -509 925 )
( 509 595 -925 )
( -509 -595 -925 )
( -595 994 )
( -509 994 )
( 509 595 -994 )
( -509 -595 -994 )
( -595 1063 )
( -509 1063 )
( 509 595 -1063 )
( -509 -595 -1063 )
( -595 1132 )
( -509 1132 )
( 509 595 -1132 )
( -509 -595 -1132 )
( 651 -1500 )
( -651 1500 )
( 651 -678 )
( -651 678 )
( 678 -1501 )
( -678 1501 )
( 678 -1502 )
( -678 1502 )
( 678 -1503 )
( -678 1503 )
( 718 -1504 )
( -718 1504 )
( 718 -747 )
( -718 747 )
( 747 -1505 )
( -747 1505 )
( 747 -1506 )
( -747 1506 )
( 747 -1507 )
( -747 1507 )
( 787 -1508 )
( -787 1508 )
( 787 -816 )
( -787 816 )
( 816 -1509 )
( -816 1509 )
( 816 -1510 )
( -816 1510 )
( 816 -1511 )
( -816 1511 )
( 856 -1512 )
( -856 1512 )
( 856 -885 )
( -856 885 )
( 885 -1513 )
( -885 1513 )
( 885 -1514 )
( -885 1514 )
( 885 -1515 )
( -885 1515 )
( 925 -1516 )
( -925 1516 )
( 925 -954 )
( -925 954 )
( 954 -1517 )
( -954 1517 )
( 954 -1518 )
( -954 1518 )
( 954 -1519 )
( -954 1519 )
( 994 -1520 )
( -994 1520 )
( 994 -1023 )
( -994 1023 )
( 1023 -1521 )
( -1023 1521 )
( 1023 -1522 )
( -1023 1522 )
( 1023 -1523 )
( -1023 1523 )
( 1063 -1524 )
( -1063 1524 )
( 1063 -1092 )
( -1063 1092 )
( 1092 -1525 )
( -1092 1525 )
( 1092 -1526 )
( -1092 1526 )
( 1092 -1527 )
( -1092 1527 )
( 1132 -1528 )
( -1132 1528 )
( 1132 -1161 )
( -1132 1161 )
( 1161 -1529 )
( -1161 1529 )
( 1161 -1530 )
( -1161 1530 )
( 1161 -1531 )
( -1161 1531 )
( -1280 1532 )
( -1289 1532 )
( 1280 1289 -1532 )
( -1280 -1289 -1532 )
( 1280 -1349 )
( -1280 1349 )
( 1349 -1533 )
( -1349 1533 )
( 1349 -1534 )
( -1349 1534 )
( 1349 -1535 )
( -1349 1535 )
( 1349 -1536 )
( -1349 1536 )
( 1349 -1537 )
( -1349 1537 )
( 1289 -1436 )
( -1289 1436 )
( 1436 -1538 )
( -1436 1538 )
( 1436 -1539 )
( -1436 1539 )
( 1436 -1540 )
( -1436 1540 )
( 1436 -1541 )
( -1436 1541 )
sat
